Lalement, René
Computation as logic / René Lalement. - Paris : Masson , cop. 1993 . - XI, 387 p. : il. ; 24 cm. - (Prentice-Hall International Series in Computer Science)
ISBN 0-13-770009-1
Programação em lógica
Lógica matemática
Programação funcional (Informática)
LCC QA76.63
Computation as logic / René Lalement. - Paris : Masson , cop. 1993 . - XI, 387 p. : il. ; 24 cm. - (Prentice-Hall International Series in Computer Science)
ISBN 0-13-770009-1
Programação em lógica
Lógica matemática
Programação funcional (Informática)
LCC QA76.63