Корично изображение Електронна книга

Handbook of logic in computer science. Volume 5, Logic and algebraic methods /

This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any seri...

Пълно описание

Други автори: Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947-
Формат: Електронна книга
Език: English
Публикувано: Oxford : New York : Clarendon Press ; Oxford University Press, 2000.
Серия: Oxford science publications.
Предмети:
Computer science.
Logic, Symbolic and mathematical.
Informatique.
Logique symbolique et mathematique.
COMPUTERS > Reference.
COMPUTERS > Machine Theory.
COMPUTERS > Computer Literacy.
COMPUTERS > Information Technology.
COMPUTERS > Data Processing.
COMPUTERS > Computer Science.
COMPUTERS > Hardware > General.
Ciencia da computacao ou informatica.
Logica e semantica de programacao.
Programming.
Electronic books.
Онлайн достъп: http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=98424
Подобни документи: Print version:: Handbook of logic in computer science. Volume 5, Logic and algebraic methods.
Онлайн достъп от Библиотека ”Паница” на Американския университет в България:

http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=98424
Провери в Paniza Library, AUBG Сигнатура: QA76 .H2785 2000eb

Подобни библ. документи