Logic programming: operational semantics and proof theory

Detaylı Bibliyografya
Yazar: Andrews, James H
Materyal Türü: Printed Book
Dil:English
Baskı/Yayın Bilgisi: Camgridge Cambridge University press 1992
Konular:
Programming language and semantics

Benzer Materyaller

Benzer Materyaller