Povej prijatelju o tem izdelku:
Logic Programming: Operational Semantics and Proof Theory - Distinguished Dissertations in Computer Science Andrews, James H. (Simon Fraser University, British Columbia)
Cena
€ 57,49
Naročeno iz oddaljenega skladišča
Predvidena dobava 27. nov - 11. dec
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Andrews, James H. (Simon Fraser University, British Columbia)
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
Logic Programming: Operational Semantics and Proof Theory - Distinguished Dissertations in Computer Science
Andrews, James H. (Simon Fraser University, British Columbia)
The author provides a homogeneous treatment of the semantics of both theoretical and practical logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies need to consult this book as the only source for some essential and new ideas in the area.
120 pages, black & white illustrations
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 19. avgusta 2004 |
| ISBN13 | 9780521607544 |
| Založniki | Cambridge University Press |
| Strani | 120 |
| Dimenzije | 189 × 246 × 6 mm · 230 g |
| Jezik | Angleščina |
