Theorem Proving with Analytic Tableaux and Related Methods:...

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

W. Bibel, S. Brüning, U. Egly, D. Korn (auth.), Peter Baumgartner, Reiner Hähnle, Joachim Possega (eds.)
이 책이 얼마나 마음에 드셨습니까?
파일의 품질이 어떻습니까?
책의 품질을 평가하시려면 책을 다운로드하시기 바랍니다
다운로드된 파일들의 품질이 어떻습니까?

This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schloß Rheinfels, St. Goar, Germany in May 1995.
Originally tableau calculi and their relatives were favored primarily as a pedagogical device because of their advantages at the presentation level. The 23 full revised papers in this book bear witness that these methods have now gained fundamental importance in theorem proving, particularly as competitors for resolution methods. The book is organized in sections on extensions, modal logic, intuitionistic logic, the connection method and model elimination, non-clausal proof procedures, linear logic, higher-order logic, and applications

년:
1995
판:
1
출판사:
Springer-Verlag Berlin Heidelberg
언어:
english
페이지:
361
ISBN 10:
3540593381
ISBN 13:
9783540593386
시리즈:
Lecture Notes in Computer Science 918 : Lecture Notes in Artificial Intelligence
파일:
DJVU, 3.54 MB
IPFS:
CID , CID Blake2b
english, 1995
다운로드 (djvu, 3.54 MB)
로의 변환이 실행 중입니다
로의 변환이 실패되었습니다

주로 사용되는 용어