Logic programming : operational semantics and proof theory / James H. Andrews. electronic resource

Författare
James H. Andrews
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat