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