Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies: Deduction Methodologies Vol 2
by Dov M. Gabbay,C. J. Hogger,J. A. Robinson
ISBN 13: 9780198537465
Format: Hardcover (528 pages) Publisher: Clarendon Press Published: 17 Mar 1994
Save for later