Temporal Logic: Volume 1 - Mathematical Foundations and Computational Aspects

Zusatztext 'This book represents the fruitful achievments of the authors' outstanding accomplishments and coooperation in the field of temporal logic! providing a comprehensive mathematical and computational tool for research and applications of the domain... na extensive bibliography of 666 basic titles in the field! and adequate indexes! add to the high quality and usefulness of the book' Zentralblatt Math Zusammenfassung BL Indispensable reference for both the pure logician and the theoretical computer scientistThis long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.

Dettagli sul prodotto

• Autori: Dov M. Gabbay, Dov M. (King''s College London) Hodkinson Gabbay, Dov M. Hodkinson Gabbay, GABBAY DOV M KING S COLLEGE LO, Ian Hodkinson, Mark Reynolds, Reynolds Mark
• Editore: Oxford University Press
• Lingue: Inglese
• Formato: Copertina rigida
• Pubblicazione: 21.07.1994
• EAN: 9780198537694
• ISBN: 978-0-19-853769-4
• Pagine: 668
• Serie: Oxford Logic Guides; Temporal Logic; Oxford Logic Guides; Temporal Logic
• Categorie: Scienze naturali, medicina, informatica, tecnica > Matematica > Teoria delle probabilità, stocastica, statistica matematica; Artificial Intelligence, MATHEMATICS / Logic, COMPUTERS / Machine Theory, Artificial Intelligence (AI), Mathematical theory of computation, Mathematical logic, COMPUTERS / Artificial Intelligence / General