Equational proofs in tableaux and logic programming. - KOGEL, E.A. DE.
KORTE INHOUD
Equational proofs in tableaux and logic programming. is een boek van KOGEL, E.A. DE.. Deze editie wordt tweedehands aangeboden door 1 boekverkoper(s) uit Heerlen. Voor meer info, bekijk de beschrijving van de beschikbare exemplaren verder op deze pagina.
1995zie alle details...
Exclusief te koop bij deze verkoper
Stel vraag Softcover
Paperback. viii,140 pp. - Thesis. [Auteur: KOGEL, E.A. DE.] [Uitgever: Wibro dissertatiedrukkerij] [Jaar: 1995] [Titel: Equational proofs in tableaux and logic programming.]