Automated Deduction - Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings. 1st ed. 1996
- 種類:
- 電子ブック
- 責任表示:
- edited by Michael A. McRobbie, J.K. Slaney
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
- 著者名:
- シリーズ名:
- Lecture Notes in Artificial Intelligence ; 1104
- ISBN:
- 9783540686873 [3540686878]
- 注記:
- Saturation-based theorem proving: Past successes and future potential -- A resolution theorem prover for intuitionistic logic -- Proof-terms for classical and intuitionistic resolution -- Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification -- Extensions to a generalization critic for inductive proof -- Learning domain knowledge to improve theorem proving -- Patching faulty conjectures -- Internal analogy in theorem proving -- Termination of theorem proving by reuse -- Termination of algorithms over non-freely generated data types -- ABSFOL: A proof checker with abstraction -- SPASS & FLOTTER version 0.42 -- The design of the CADE-13 ATP system competition -- SCAN—Elimination of predicate quantifiers -- GEOTHER: A geometry theorem prover -- Structuring metatheory on inductive definitions -- An embedding of Ruby in Isabelle -- Mechanical verification of mutually recursive procedures -- FasTraC a decentralized traffic control system based on logic programming -- Presen
This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96. The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area. - ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
|
Springer Berlin Heidelberg : Imprint: Springer | |
|
Springer Berlin Heidelberg : Imprint: Springer | |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
