The deductive foundations of computer programming / Zohar Manna, Richard Waldinger

Manna, Zohar

The deductive foundations of computer programming / Zohar Manna, Richard Waldinger - Reading, Massachusetts [etc.] : Addison-Wesley, cop. 1993 - XIV, 717 p. - Artificial intelligence. .

Es una versión del vol. 1 de "The logical basis for computer programming"

0-201-54886-0


Programación de ordenadores
Lógica, simbólica y matemática

Con tecnología Koha