Proof Theory in Computer Science
Subtitle: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science)
Contributors: Reinhard Kahle (Editor); Peter Schroeder-Heister (Editor); Robert Stärk (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 6, 2001
Language: eng
Format: Paperback
Number of pages: 239
ISBN-13: 9783540427520
Subjects: Artificial intelligence; General Theory of Computing; Mathematical logic; Programming languages; Automata; Computers; Computers - General Information; Computer Books: General; General; Machine Theory; Programming - General; AI logics; Mathematics / Logic; Proof theory; automated deduction; computer science logic; deduction; Computer Science; Automatic theorem proving; Congresses