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 4th International Workshop, Elp '93, st Andrews, U.K., March...
by Dyckhoff, Roy
ISBN: 9780387580258
List Price: $74.95
OUT OF STOCK
See Availability on Amazon5.
Extensions of Logic Programming
by Dyckhoff, Roy, Herre, Heinr...
ISBN: 9783662179147
List Price: $24.99
OUT OF STOCK
See Availability on Amazon6.
Automated Reasoning with Analytic Tableaux and Related Methods
by Dyckhoff, Roy
ISBN: 9783662201763
List Price: $24.99