Implementing a model-generation based theorem prover MGTP in Java

Research Reports on Information Science and Electrical Engineering of Kyushu University

Volumn 3, Issue 1, 1998, Pages 62-68

  Fujita, Hiroshi ^a   Hasegawa, Ryuzo ^a  

^a NONE

Author keywords

Automated theorem proving; Java programming language; Object oriented design

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SIMULATION; KNOWLEDGE BASED SYSTEMS; LISP (PROGRAMMING LANGUAGE); OBJECT ORIENTED PROGRAMMING; PROLOG (PROGRAMMING LANGUAGE); THEOREM PROVING;

SOFTWARE PACKAGE JAVA; SYMBOLIC PROCESSING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 11744328337     PISSN: 13423819     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (5)

1. Ken Arnold and James Gosling, "The Java Programming Language," Addison-Wesley, (1996).
2. G. Sutcliffe, C. Suttner and T. Yemenis, "The TPTP Problem Library," Proc. CADE-12, (1994) 252-266.