Pastāsti draugiem par šo preci:
Formal Methods in Artificial Intelligence - Cambridge Tracts in Theoretical Computer Science Ramsay, Allan M. (University College Dublin)
Cena
€ 59,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 1. - 15. sept.
Saņemiet paziņojumus par jauniem Ramsay, Allan M. (University College Dublin) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Formal Methods in Artificial Intelligence - Cambridge Tracts in Theoretical Computer Science
Ramsay, Allan M. (University College Dublin)
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book, written for workers in artificial intelligence, covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving, including Bibel's connection method.
292 pages, index, bibliography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1991. gada 26. jūlijs |
| ISBN13 | 9780521424219 |
| Izdevēji | Cambridge University Press |
| Lapas | 292 |
| Izmēri | 170 × 244 × 15 mm · 470 g |
| Valoda | Angļu |
Vairāk no tā paša izdevēja
Skatīt visus Ramsay, Allan M. (University College Dublin) ( piem., Paperback Book )