Search from the table of contents of 2.5 million books
Advanced Search (Beta)
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

Temporal Logic: First International Conference, ICTL ' 94, Bonn, Germany, July 11 - 14, 1994. Proceedings

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


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 35 entries
Chapters/HeadingsAuthor(s)PagesInfo
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/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 35 entries