Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Logical Foundations of Computer Science: Third International Symposium, LFCS ' 94, St. Petersburg, Russia, July 11-14, 1994. Proceedings

Logical Foundations of Computer Science: Third International Symposium, LFCS ' 94, St. Petersburg, Russia, July 11-14, 1994. Proceedings


Book Informaton

Logical Foundations of Computer Science: Third International Symposium, LFCS ' 94, St. Petersburg, Russia, July 11-14, 1994. Proceedings

Author

Anil Nerode; Yu.V. Matiyasevich

Series

Lecture Notes in Computer Science

Volume

813

Year of Publication

1994

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

XI, 397

Language

EN

ISBN

9783540581406, 9783540484424, 3540581405, 0387581405

ARI Id

1664783131697


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 37 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-7
8-17
18-22
23-33
34-46
47-55
56-68
69-80
81-88
89-100
101-113
114-128
129-139
140-141
142-152
153-163
164-172
173-183
184-190
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 37 entries