Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2
Subtitle: Deduction Methodologies (Handbook of Logic in Artificial Intelligence and Logic Programming)
Publisher: Oxford University Press, USA
Published: April 21, 1994
Language: eng
Number of pages: 526
ISBN-13: 9780198537465