Logic programming: operational semantics and proof theory

Podrobná bibliografie
Hlavní autor: Andrews, James H
Médium: Printed Book
Jazyk:English
Vydáno: Camgridge Cambridge University press 1992
Témata:
Programming language and semantics

Podobné jednotky

Podobné jednotky