From Logic Design to Logic Programming
Autor:
Dominique Snyers, Andre Thayse
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
277.44
lei
Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programm...
