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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Oxford : New York : Clarendon Press ; Oxford University Press, 2000.
Colección:Oxford science publications.
Temas:
Computer science.
Logic, Symbolic and mathematical.
Electronic Data Processing
Informatique.
Logique symbolique et mathé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.
Acceso en línea:Texto completo
Descripción
Sumario: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 serious worker in the areas.
Descripción Física:1 online resource
Bibliografía:Includes bibliographical references and indexes.
ISBN:9780191546273
0191546275
1280375272
9781280375279

Ejemplares similares