Computational Logic Handbook (Academic Press International Series in Formal Methods)
Publisher: Academic Press; Morgan Kaufmann
Published: October 1997
Language: eng
Number of pages: 512
ISBN-13: 9780121229559