Articles liés à Handbook of Logic in Computer Science: Background Computatio...

Handbook of Logic in Computer Science: Background Computational Structures (2) - Couverture rigide

 
9780198537618: Handbook of Logic in Computer Science: Background Computational Structures (2)
Couverture rigide
ISBN 10 : 0198537611 ISBN 13 : 9780198537618
Editeur : Clarendon Press, 1992

Synopsis

The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science. The Handbook comprises six volumes. Each volume contains five or six chapters giving an in-depth overview of one of the major topics in the field. It is the result of many years of co-operative effort by some of the most eminent frontline researchers in the area. It will no doubt be the standard reference work in logic and theoretical computer science for years to come - essential reading for all those interested in theoretical computer science and logic.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science. The Handbook comprises six volumes. Each volume contains five or six chapters giving an in-depth overview of one of the major topics in the field. It is the result of many years of co-operative effort by some of the most eminent frontline researchers in the area. It will no doubt be the standard reference work in logic and theoretical computer science for years to come - essential reading for all those interested in theoretical computer science and logic.

Revue de presse

`It is a comprehensive, authoritative, and advanced collection of chapters, by leading authorities in the fields covered.' Personal Computer World

'a major work of scientific publishing ... a highly detailed, authoritative and illuminating exposition of the field, and at the same time a challenging source of ideas for further exploration ... we are much indebted to the editors, authors and all those others who have worked for so many years on this substantial project.' Times Higher Education Suplement

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Clarendon Press
Date d'édition
1992
Langue
anglais
ISBN 10 
0198537611
ISBN 13 
9780198537618
Reliure
Relié
Numéro d'édition
1
Nombre de pages
582
Éditeur
Abramsky S., Gabbay Dov M., Maibaum T. S. E.
Coordonnées du fabricant
Oxford University Press
https://corp.oup.com/

WMF Platz 1
Geislingen/Steige
Baden-W?rttemberg
73312
Allemagne