Computational Logic
Subtitle: Symposium Proceedings, Brussels, November 13/14, 1990 (Springer Series in Biophysics)
Publisher: Springer
Published: January 1990
Language: eng
Format: Hardcover
Number of pages: 211
ISBN-13: 9783540534372
Subjects: Machine Theory; Computer architecture & logic design; Mathematical theory of computation; Computers - General Information; Computer Bks - General Information