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
Diğer Bilgiler
Fiziksel Özellikler:xi, 104p.
ISBN:9 780521 432191

Benzer Materyaller