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...

Details

1995Uitgever: Wibro dissertatiedrukkerij140 paginas