Formal Methods in Artificial Intelligence
This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.
CHF 72.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Abramsky, Samson (Hrsg.) / Rijsbergen, C. J. van (Hrsg.)
- ISBN: 978-0-521-42421-9
- EAN: 9780521424219
- Produktnummer: 4577513
- Verlag: Cambridge University Press
- Sprache: Englisch
- Erscheinungsjahr: 2009
- Seitenangabe: 292 S.
- Masse: H24.4 cm x B17.0 cm x D1.5 cm 508 g
- Abbildungen: Paperback
- Gewicht: 508
74 weitere Werke von Allan Ramsay:
Bewertungen
Anmelden