From Logic Design to Logic Programming
Szerző:
Dominique Snyers, Andre Thayse
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
19 274
Ft
Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programm...
