Computational Logic, Volume 9
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 306.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V106:
Fremdlagertitel. Lieferzeit unbestimmt
Produktdetails
Weitere Autoren: Siekmann, Jörg H. (Hrsg.) / Woods, John (Hrsg.)
- ISBN: 978-0-444-51624-4
- EAN: 9780444516244
- Produktnummer: 16411399
- Verlag: North Holland
- Sprache: Englisch
- Erscheinungsjahr: 2014
- Seitenangabe: 736 S.
- Masse: H24.5 cm x B19.7 cm x D4.0 cm 1'710 g
- Reihenbandnummer: 9
- Gewicht: 1710
Über den Autor
Dov M. Gabbay is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. He has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international Journals, and many reference works and Handbooks of Logic.
100 weitere Werke von Dov M. (Hrsg.) Gabbay:
Bewertungen
Anmelden