Computational Logic Handbook (Academic Press International Series in Formal Methods)
Edition: 2nd edition
Publisher: Academic Press
Published: October 1997
Language: eng
Format: Hardcover
Number of pages: 512
ISBN-13: 9780121229559
Subjects: Mathematics; Computer Books: Operating Systems; Logic; Computer Programming; Mathematical theory of computation