Back to Search Start Over

Analysis and transformation of proof procedures

Authors :
De Waal, David Andre
Publication Year :
1994
Publisher :
University of Bristol, 1994.

Subjects

Subjects :
003.5
Automated reasoning
Theorem proving

Details

Language :
English
Database :
British Library EThOS
Publication Type :
Dissertation/ Thesis
Accession number :
edsble.240493
Document Type :
Electronic Thesis or Dissertation

Tools

Authors Abstract Subjects Details