9.: Computational logic / edited by Dov M. Gabbay, Jörg H. Siekmann, John Woods
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
9.: Computational logic / edited by Dov M. Gabbay, Jörg H. Siekmann, John Woods
|
| Pubblicazione: | Amsterdam, : North Holland, 2014 |
| Descrizione fisica: | Testo elettronico (PDF) (736 p.) |
| Disciplina: | 511.3 |
| Soggetto topico: | Logica matematica |
| Persona (resp. second.): | GABBAY, Dov M. <1945-> |
| SIEKEMANN, Jörg H. | |
| WOODS, John Hayden | |
| Sommario/riassunto: | Handbook 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 |
| Titolo autorizzato: | Computational logic |
| Formato: | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996459352903316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Fa parte di:
Handbook of the History of Logic