Logic programming: operational semantics and proof theory

Bibliografische gegevens
Hoofdauteur: Andrews, James H
Formaat: Printed Book
Taal:English
Gepubliceerd in: Camgridge Cambridge University press 1992
Onderwerpen:
Programming language and semantics
Omschrijving
Fysieke beschrijving:xi, 104p.
ISBN:9 780521 432191

Gelijkaardige items