Učitavanje...

Logic programming: operational semantics and proof theory

Bibliografski detalji
Glavni autor: Andrews, James H
Format: Printed Book
Jezik:English
Izdano: Camgridge Cambridge University press 1992
Teme:

DCA

Detalji primjeraka od DCA
Primjerak Prikaz statusa u stvarnom vremenu nije dostupan