Advances in Temporal Logic (APPLIED LOGIC SERIES Volume 16) (Applied Logic Series)
Contributors: Howard Barringer (Editor); Michael Fisher (Editor); D.M. Gabbay (Editor); Graham Gough (Editor)
Edition: 1st edition
Publisher: Springer
Published: December 16, 1999
Language: eng
Format: Hardcover
Number of pages: 468
ISBN-13: 9780792361497
Subjects: Mathematical logic; Mathematical theory of computation; Programming languages; Logic Design; Computers; Database Engineering; Computers - General Information; Database Management - General; Computer Books: Operating Systems; Artificial Intelligence - General; Computers / Logic Design; Computers-Artificial Intelligence - General; Philosophy / Logic; Temporal databases; Computer Science; Computer Logic; Congresses