Computation as logic /

Bibliographic Details
Main Author: Lalement, René
Format: Book
Language:English
French
Published: Paris : Masson, 1993.
Series:Prentice-Hall international series in computer science
Subjects: