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.. Het is uitgegeven door Wibro dissertatiedrukkerij. Deze editie verscheen in 1995. Dit werk telt 140 pagina's.
Deze editie wordt tweedehands aangeboden door 1 boekverkopers uit Heerlen. Voor meer info, bekijk de beschrijving van de beschikbare exemplaren verder op deze pagina.
Deze editie wordt tweedehands aangeboden door 1 boekverkopers 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.]
