LEADER 01528nlm2 22003259  450 
001 996459352903316
005 20220309093755.0
100   $a20150109h2014----  uy             0
101 0 $aeng
102   $aNL
135   $adrcnu
200 1 $a<<9.:>> Computational logic$fedited by Dov M. Gabbay, Jo?rg H. Siekmann, John Woods
210 1 $aAmsterdam$cNorth Holland$d2014
215   $aTesto elettronico (PDF) (736 p.)
230   $aBase dati testuale
330   $aHandbook 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 diversificazione
461   $1001996459352803316$aHandbook of the History of Logic
606 0 $aLogica matematica$2BNCF
676   $a511.3
702  1$aGABBAY,$bDov M.$f1945-
702  1$aSIEKEMANN,$bJo?rg H.
702  1$aWOODS,$bJohn Hayden
801  0$bcba$aIT$bcba$gREICAT
801  1$bcba$aIT$bcba$gREICAT
801  2$bcba$aIT$bcba$gREICAT
912   $a996459352903316
959   $aEB
969   $aER
996   $aComputational logic$91490021
997   $aUNISA