Computational Logic
Subtitle: Symposium Proceedings, Brussels, November 13/14 1990
Publisher: Springer London, Limited
Published: 2011
Language: eng
Number of pages: 211
ISBN-13: 9783642762765
Subjects: Automatic theorem proving; Logic, symbolic and mathematical