Computational Logic
Handbook of the History of Logic brings to the development of logic the best in modern techniques of historical and interpretative scholarship. Computational logic was born in the twentieth century and evolved in close symbiosis with the advent of the first electronic computers and the growing importance of computer science, informatics and artificial intelligence. With more than ten thousand people working in research and development of logic and logic-related methods, with several dozen international conferences and several times as many workshops addressing the growing richness and diversity of the field, and with the foundational role and…
Mehr
CHF 264.45
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Siekmann, Jörg H. (Hrsg.) / Woods, John (Hrsg.)
- ISBN: 978-0-08-093067-1
- EAN: 9780080930671
- Produktnummer: 36179409
- Verlag: Elsevier Science & Techn.
- Sprache: Englisch
- Erscheinungsjahr: 2014
- Seitenangabe: 736 S.
- Plattform: PDF
100 weitere Werke von Dov M. (Hrsg.) Gabbay:
Bewertungen
Anmelden