Logic programming: operational semantics and proof theory

Bibliografiska uppgifter
Huvudupphovsman: Andrews, James H
Materialtyp: Printed Book
Språk:English
Publicerad: Camgridge Cambridge University press 1992
Ämnen:
Programming language and semantics
Beskrivning
Fysisk beskrivning:xi, 104p.
ISBN:9 780521 432191

Liknande verk