Structured Proof Procedures (1993)

Cached

Download Links

by Enrico Giunchiglia , Alessandro Armando , Paolo Pecchiari
Venue:OF STRUCTURED PROOF PROCEDURES, THIRD BAR-ILAN SYMPOSIUM ON THE FOUNDATIONS OF ARTIFICIAL INTELLIGENCE. ALSO DISTTECHNICAL REPORT 93-0015
Citations:2 - 0 self