Dov Gabbay, Hans Jürgen Ohlbach

Research output: Contribution to journalEditorial

Original languageEnglish
Pages (from-to)V-VII
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume827 LNAI
StatePublished - 1994
Event1st International Conference on Temporal Logic, ICTL 1994 - Bonn, Germany
Duration: 11 Jul 199414 Jul 1994

Cite this