Showing 1 - 6 of 6 Results
1.
Extensions of Logic Programming 5th International Workshop, Elp '96 Leipzig, Germany, March ... by Dyckhoff, Roy, Schroeder-He... ISBN: 9783540609834 List Price: $69.95
2.
Automated Reasoning With Analytic Tableaux and Related Methods International Conference, Tab... by Tableaux 2000 Staff, Dyckho... ISBN: 9783540676973 List Price: $84.95
3.
Extensions of Logic Programming by Dyckhoff, Roy ISBN: 9783662201664 List Price: $24.99
4.
Automated Reasoning with Analytic Tableaux and Related Methods by Dyckhoff, Roy ISBN: 9783662201763 List Price: $24.99
5.
Extensions of Logic Programming by Dyckhoff, Roy, Herre, Heinr... ISBN: 9783662179147 List Price: $24.99