Logic Programming: Operational Semantics and Proof Theory Distinguished Dissertations in Computer Science, nr. 4 Autor James H. Andrews 18 aug 2004 Paperback Preț: 273.36 lei 341.70 lei 6-8 săpt. -20%