Llwytho...

Logic programming: operational semantics and proof theory

Manylion Llyfryddiaeth
Prif Awdur: Andrews, James H
Fformat: Printed Book
Iaith:English
Cyhoeddwyd: Camgridge Cambridge University press 1992
Pynciau:

DCA

Manylion daliadau o DCA
Copi Nid yw'r Statws Byw ar Gael