Program Tactics and Logic Tactics (1994)

Cached

Download Links

by Fausto Giunchiglia , Paolo Traverso
Venue:IN PROCEEDINGS 5TH INTNL. CONFERENCE ON LOGIC PROGRAMMING AND AUTOMATED REASONING (LPAR'94
Citations:19 - 10 self

Document Versions

Program Tactics and Logic Tactics –Fausto Giunchiglia, Paolo Traverso — 1994 — IN PROCEEDINGS 5TH INTNL. CONFERENCE ON LOGIC PROGRAMMING AND AUTOMATED REASONING (LPAR'94