Logic Programming: Operational Semantics and Proof Theory - Distinguished Dissertations in Computer Science - Andrews, James H. (Simon Fraser University, British Columbia) - Kirjat - Cambridge University Press - 9780521607544 - torstai 19. elokuuta 2004
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Logic Programming: Operational Semantics and Proof Theory - Distinguished Dissertations in Computer Science

Andrews, James H. (Simon Fraser University, British Columbia)

Hinta
Ft 21.584

Tilattu etävarastosta

Arvioitu toimitus pe - ti 5. - 16. syys

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Logic Programming: Operational Semantics and Proof Theory - Distinguished Dissertations in Computer Science

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

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 19. elokuuta 2004
ISBN13 9780521607544
Tuottaja Cambridge University Press
Sivujen määrä 120
Mitta 189 × 246 × 6 mm   ·   230 g
Kieli English  

Katso kaikki joka sisältää Andrews, James H. (Simon Fraser University, British Columbia) ( Esim. Paperback Book )