top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Logics in Artificial Intelligence [Risorsa elettronica] : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings / edited by Jaime G. Carbonell, Jörg Siekmann, Steffen Hölldobler, Carsten Lutz, Heinrich Wansing
Logics in Artificial Intelligence [Risorsa elettronica] : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings / edited by Jaime G. Carbonell, Jörg Siekmann, Steffen Hölldobler, Carsten Lutz, Heinrich Wansing
Pubbl/distr/stampa Berlin ; Heidelberg : Springer, 2008
Collana Lecture Notes in Computer Science
ISBN 9783540878032
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009257370403321
Berlin ; Heidelberg : Springer, 2008
Risorse elettroniche
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Recent trends in philosophical logic / Roberto Ciuni, Heinrich Wansing, Caroline Willkommen editors
Recent trends in philosophical logic / Roberto Ciuni, Heinrich Wansing, Caroline Willkommen editors
Pubbl/distr/stampa Cham, : Springer, 2014
Descrizione fisica VIII, 209 p. : ill. ; 24 cm
Soggetto topico 03Axx - Philosophical aspects of logic and foundations [MSC 2020]
Soggetto non controllato Advances in Philosophical Logic
Knowability Paradox
Mathematical logic
Natural deduction
Non-classical logic
Paraconsistent Logic
Proof systems
Trends in Logic
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0103429
Cham, : Springer, 2014
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Recent trends in philosophical logic / Roberto Ciuni, Heinrich Wansing, Caroline Willkommen editors
Recent trends in philosophical logic / Roberto Ciuni, Heinrich Wansing, Caroline Willkommen editors
Edizione [Cham : Springer, 2014]
Pubbl/distr/stampa VIII, 209 p., : ill. ; 24 cm
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico 03Axx - Philosophical aspects of logic and foundations [MSC 2020]
ISBN 8-3-319-06079-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0103429
VIII, 209 p., : ill. ; 24 cm
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
The logic of information structures / Heinrich Wansing
The logic of information structures / Heinrich Wansing
Autore Wansing, Heinrich
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1993
Descrizione fisica IX, 163 p. : ill. ; 24 cm
Disciplina 004
Collana Lecture notes in artificial intelligence
Soggetto non controllato elaboratori elettronici
intelligenza artificiale
logica matematica
logica simbolica
ISBN 3-540-56734-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000201840203316
Wansing, Heinrich  
Berlin [etc.] : Springer-Verlag, copyr. 1993
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
The logic of information structures / Heinrich Wansing
The logic of information structures / Heinrich Wansing
Autore Wansing, Heinrich
Pubbl/distr/stampa Berlin [etc.], : Springer, c1993
Descrizione fisica IX, 163 p. ; 25 cm
Disciplina 006.3
Collana Lecture notes in computer science, . Lecture notes in artificial intelligence
Soggetto topico Intelligenza artificiale
ISBN 0387567348
3540567348
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10003022
Wansing, Heinrich  
Berlin [etc.], : Springer, c1993
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui