01528nlm2 22003259 450 99645935290331620220309093755.020150109h2014---- uy 0engNLdrcnu<<9.:>> Computational logicedited by Dov M. Gabbay, Jörg H. Siekmann, John WoodsAmsterdamNorth Holland2014Testo elettronico (PDF) (736 p.)Base dati testualeHandbook of the History of Logic porta allo sviluppo della logica il meglio delle moderne tecniche di studio storico e interpretativo. La logica computazionale nasce nel XX secolo e si evolve in stretta simbiosi con l'avvento dei primi computer elettronici e la crescente importanza dell'informatica, dell'informatica e dell'intelligenza artificiale. Con più di diecimila persone che lavorano nella ricerca e sviluppo di logica e metodi legati alla logica, con diverse dozzine di conferenze internazionali e molte volte più workshop che affrontano la crescente ricchezza e diversificazione001996459352803316Handbook of the History of LogicLogica matematicaBNCF511.3GABBAY,Dov M.1945-SIEKEMANN,Jörg H.WOODS,John HaydencbaITcbaREICATcbaITcbaREICATcbaITcbaREICAT996459352903316EBERComputational logic1490021UNISA