Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings


Book Informaton

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

Author

Reinhard Kahle; Peter Schroeder-Heister; Robert Stärk

Series

Lecture Notes in Computer Science

Volume

2183

Year of Publication

2001

Publisher

Springer Berlin Heidelberg

Pages

X, 246

Language

en

ISBN

9783540427520, 9783540455042, 354042752X

ARI Id

1664929905374


Find on

World Cat

OpenLibrary

Internet Archive


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

Join our Whatsapp Channel to get regular updates.