Logic Programming
Operational Semantics And Proof Theory
- Editore:
Cambridge University Press
- EAN:
9780521432191
- ISBN:
0521432197
- Pagine:
- 116
- Formato:
- Hardback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione Logic Programming
A homogeneous treatment of the semantics of both theoretical and practical logic programming languages.
Fuori catalogo - Non ordinabile
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti