Automated Deduction — CADE-12 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

72
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540581567, 9783540484677
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tactic theorem proving with refinement-tree proofs and metavariables

1994 ◽  
pp. 605-619 ◽  
Author(s):  
Amy Felty ◽  
Douglas Howe
Keyword(s):  
Theorem Proving

Mechanically proving geometry theorems using a combination of Wu's method and Collins' method

1994 ◽  
pp. 401-415 ◽  
Author(s):  
Nicholas Freitag McPhee ◽  
Shang-Ching Chou ◽  
Xiao-Shan Gao
Keyword(s):  
Wu’S Method ◽  
Wu's Method

Mechanizable inductive proofs for a class of ∀ ∃ formulas

1994 ◽  
pp. 118-132 ◽  
Author(s):  
Jacques Chazarain ◽  
Emmanuel Kounalis

SETHEO V3.2: Recent developments

1994 ◽  
pp. 778-782 ◽  
Author(s):  
Chr. Goller ◽  
R. Letz ◽  
K. Mayr ◽  
J. Schumann
Keyword(s):  
Recent Developments

Decidable higher-order unification problems

1994 ◽  
pp. 635-649 ◽  
Author(s):  
Christian Prehofer
Keyword(s):  
Higher Order

Str∔ve and integers

1994 ◽  
pp. 416-430
Author(s):  
Larry M. Hines

On intuitionistic query answering in description bases

1994 ◽  
pp. 326-340
Author(s):  
Véronique Royer ◽  
J. Joachim Quantz
Keyword(s):  
Query Answering
Load More ...
Sign in / Sign up

Export Citation Format

Share Document