Temporal Logic: First International Conference, Ictl '94 Bonn, Germany, July 11-14, 1994 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Contributors: Hans Jurgen Ohlbach (Editor)
Publisher: Springer
Published: June 1994
Language: eng
Format: Paperback
Number of pages: 545
ISBN-13: 9780387582412
Subjects: Computer Logic; Computers; Mathematics; Computer Books: General; Artificial Intelligence - General; Logic; Computer Science; Logic Design; Computer programming; Logic, Symbolic and mathematic; Logic, Symbolic and mathematical