ModGen: theorem proving by model generation

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 1994, Pages 162-167

  Kim, Sun ^a   Zhang, Hantao ^a  

^a UNIVERSITY OF IOWA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; COMPUTER SOFTWARE; DECISION THEORY; FORMAL LOGIC; SOFTWARE ENGINEERING; SUBROUTINES;

FINITE HERBRAND DOMAINS; FIRST ORDER LOGIC; PROGRAM MODULES; PROPOSITIONAL CLAUSES; THEOREM PROVER;

THEOREM PROVING;

EID: 0028556191     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)