10th International Conference on Automated Deduction - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

74
(FIVE YEARS 0)

H-INDEX

15
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540528852, 9783540471714
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tutorial on λProlog

1990 ◽  
pp. 682-682
Author(s):  
Amy Felty ◽  
Elsa Gunter ◽  
Dale MIller ◽  
Frank Pfenning

The romulus proof checker

1990 ◽  
pp. 651-652
Author(s):  
Carl Eichenlaub ◽  
Bruce Esrig ◽  
James Hook ◽  
Carl Klapper ◽  
Garrel Pottinger
Keyword(s):  
Proof Checker

A high-performance parallel theorem prover

1990 ◽  
pp. 649-650 ◽  
Author(s):  
Ralph Butler ◽  
Ian Foster ◽  
Anita Jindal ◽  
Ross Overbeek
Keyword(s):  
High Performance ◽  
Theorem Prover
Load More ...
Sign in / Sign up

Export Citation Format

Share Document