Advances in logic programming and automated reasoning
By: edited by Ralph W. Wilkerson.
Contributors: Wilkerson, Ralph W.
Publisher: Ablex Pub. Corp.
Published: 1992
Place of publication: Norwood, NJ
Language: eng
Subjects: Logic programming.; Expert systems (Computer science)
Notes: Includes bibliographical references and indexes.