Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)
Description
222p hardback, grey and blue cloth in clear plastic wrapper, like new condition, still in its original wrapper, excellent copy of uncommon publication
Keywords
AUTOMATIC THEOREM PROVINGLOGIC, SYMBOLIC AND MATHEMATICAL
1990Book
Author(s)Lloyd, J. W.
PublisherBerlin: Springer 1990. (Basic Research)
ISBN9783540534372
LanguageEnglish
