KOGEL, E.A. DE. — Equational proofs in tableaux and logic programming.
Helmond, Wibro dissertatiedrukkerij, 1995 Paperback. viii,140 pp. - Thesis.
Machine translation by Google. The original description of the seller is leading.
Log in or create an account to translate descriptions. Log ind
Bognummer:
1525
€7.00 ($7.72 | £5.84 | ¥1,232)