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

Ähnliche Einträge

Ähnliche Einträge