Results 1 -
1 of
1
Pragmatics of Decision Procedures in Automated Reasoning (PDPAR’04)
"... This volume contains the proceedings of PDPAR’04, the second workshop on ..."
First Order Logic in Practice (1997)
by J Harrison
| Venue: | In Proc. FTP |
