Home > Temporal Logic: First International Conference, ICTL ' 94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Temporal Logic: First International Conference, ICTL ' 94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Book Informaton
Author
Dov M. Gabbay; Hans J. Ohlbach
Series
Lecture Notes in Computer Science
Volume
827
Year of Publication
1994
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
XIII, 551
Language
en
ISBN
9783540582410, 9783540485858, 354058241X
ARI Id
1664896929955
This page has been accessed 7 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 35 entries
Chapters/Headings | Author(s) | Pages | Info |
1-16 | |||
17-29 | |||
30-47 | |||
48-66 | |||
67-81 | |||
82-100 | |||
101-116 | |||
117-132 | |||
133-148 | |||
149-164 | |||
165-179 | |||
180-194 | |||
195-209 | |||
210-224 | |||
225-237 | |||
238-264 | |||
265-282 | |||
283-300 | |||
301-316 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 35 entries