Author: KOGEL, E.A. DE. Title: Equational proofs in tableaux and logic programming.
Description: Helmond, Wibro dissertatiedrukkerij, Wibro dissertatiedrukkerij, 1995. Paperback. viii,140 pp. - Thesis.
Keywords:
Price: EUR 7.00 = appr. US$ 7.61 Seller: Boekhandel-Antiquariaat Emile Kerssemakers
- Book number: 1525