Logic programming: operational semantics and proof theory

Bibliographische Detailangaben
1. Verfasser: Andrews, James H
Format: Printed Book
Sprache:English
Veröffentlicht: Camgridge Cambridge University press 1992
Schlagworte:
Programming language and semantics
Beschreibung
Beschreibung:xi, 104p.
ISBN:9 780521 432191

Ähnliche Einträge