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.
Automated reasoning with analytic tableaux and related methods : International conference, TABLEAUX 2007 : Aix en Provence, France, July 3-6, 2007 : proceedings / Nicola Olivetti (ed.)
Automated reasoning with analytic tableaux and related methods : International conference, TABLEAUX 2007 : Aix en Provence, France, July 3-6, 2007 : proceedings / Nicola Olivetti (ed.)
Autore International conference, TABLEAUX 2007 : <2007
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 2007
Descrizione fisica X, 244 p. : ill. ; 24 cm
Disciplina 006.3
Collana Lecture notes in arteficial intelligence
Lecture notes in computer science
Soggetto non controllato Intelligenza artificiale
Logica matematica
ISBN 978-3-540-73098-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003095510203316
International conference, TABLEAUX 2007 : <2007  
Berlin [etc.] : Springer, copyr. 2007
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Automated reasoning wiyh analytic tableaux and related methods : international conference TABLEAUX 2000 : St. Andrews, Scotland UK, July 3-7, 2000 : proceedings / Roy Dyckhof (ed.)
Automated reasoning wiyh analytic tableaux and related methods : international conference TABLEAUX 2000 : St. Andrews, Scotland UK, July 3-7, 2000 : proceedings / Roy Dyckhof (ed.)
Autore International conference, TABLEAUX 2000 <2000; St. Andrews>
Edizione [Berlino]
Descrizione fisica X, 440 p. : ill. ; 25 cm
Disciplina 006.3
Collana Lecture notes in arteficial intelligence
Soggetto non controllato Intelligenza artificiale
Logica matematica
Congressi
ISBN 3-540-67697-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000319850203316
International conference, TABLEAUX 2000 <2000; St. Andrews>  
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Automated reasoning wiyh analytic tableaux and related methods : 18th international conference TABLEAUX 2009 : Oslo, Norway, july 6-10, 2009 : proceedings / Martin Giese...[et al.] (Eds.)
Automated reasoning wiyh analytic tableaux and related methods : 18th international conference TABLEAUX 2009 : Oslo, Norway, july 6-10, 2009 : proceedings / Martin Giese...[et al.] (Eds.)
Autore International conference, TABLEAUX 2000 <2009; Oslo>
Edizione [Berlino]
Descrizione fisica XII, 340 p. : ill. ; 25 cm
Disciplina 006.3
Collana Lecture notes in arteficial intelligence
Soggetto non controllato Intelligenza artificiale
Logica matematica
ISBN 978-3-642-02715-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003326970203316
International conference, TABLEAUX 2000 <2009; Oslo>  
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Automation of Reasoning / edited by Jörg Siekmann and Graham Wrightson
Automation of Reasoning / edited by Jörg Siekmann and Graham Wrightson
Pubbl/distr/stampa Berlin; Heidelberg ; New York : Springer, 1983
Descrizione fisica 2 v. : ill. ; 25 cm
Disciplina 005.131
Collana Symbolic computation
Soggetto non controllato Logica matematica
ISBN 3-540-12044-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Vol. 1.: Classical papers on computational logic 1957-1966 Vol. 2.: Classical papers on computational logic 1967-1970
Record Nr. UNINA-990000495700403321
Berlin; Heidelberg ; New York : Springer, 1983
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Axioms and hulls / D. E. Knuth
Axioms and hulls / D. E. Knuth
Autore Knuth, Donald E.
Pubbl/distr/stampa Berlin : Springer, c1992
Descrizione fisica VII, 109 p. ; 25 cm
Disciplina 511.3
Collana Lecture notes in computer science
Soggetto non controllato Logica matematica
ISBN 0-387-55611-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNIPARTHENOPE-000018875
Knuth, Donald E.  
Berlin : Springer, c1992
Materiale a stampa
Lo trovi qui: Univ. Parthenope
Opac: Controlla la disponibilità qui
Brouwer meets Husserl : On the phenomenology of choice sequences / Mark van Atten
Brouwer meets Husserl : On the phenomenology of choice sequences / Mark van Atten
Autore Atten, Mark van
Pubbl/distr/stampa Dordrecht : Springer, c2007
Descrizione fisica xiii, 191 p. ; 24 cm
Disciplina 511.3
Collana Synthese library
Soggetto non controllato Filosofia - matematica
Logica matematica
ISBN 1-4020-5086-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990008454680403321
Atten, Mark van  
Dordrecht : Springer, c2007
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Categoricy / John T. Baldwin
Categoricy / John T. Baldwin
Autore Baldwin, John T.
Pubbl/distr/stampa Providence : American Mathematical Society, c2009
Descrizione fisica numero pagine ; cm
Disciplina 511.3
Collana University lecture series
Soggetto non controllato Logica matematica
Categoricità e completezza delle teorie
Proprietà di classi di modelli
ISBN 978-0-8218-4893-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009116400403321
Baldwin, John T.  
Providence : American Mathematical Society, c2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Categorie nella pratica matematica / Saunders Mac Lane
Categorie nella pratica matematica / Saunders Mac Lane
Autore MacLane, Saunders
Pubbl/distr/stampa Torino : Boringhieri, c1977
Descrizione fisica 322 p. ; 21 cm
Disciplina 511.3
Collana Testi e manuali della scienza contemporanea, Serie di logica matematica
Soggetto non controllato Logica matematica
Categoria
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNIPARTHENOPE-000012139
MacLane, Saunders  
Torino : Boringhieri, c1977
Materiale a stampa
Lo trovi qui: Univ. Parthenope
Opac: Controlla la disponibilità qui
Challengers foe action theories / Michael Thielsher
Challengers foe action theories / Michael Thielsher
Autore THIELSHER, Michael
Pubbl/distr/stampa Berlin : Springer-Verlag, c2000
Descrizione fisica XI, 138 p. : ill. ; 24 cm
Disciplina 004.2
Collana Lecture notes in artificial intelligence
Soggetto non controllato Analisi dei sistemi
Logica matematica
ISBN 2-540-67455-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000334820203316
THIELSHER, Michael  
Berlin : Springer-Verlag, c2000
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Che cos'è la logica matematica? / John N. Crossley ... [et al.]
Che cos'è la logica matematica? / John N. Crossley ... [et al.]
Pubbl/distr/stampa Torino : Paolo Boringhieri, 1976
Descrizione fisica 121 p. ; cm
Disciplina 511.3
Collana Universale scientifica
Soggetto non controllato Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990009164810403321
Torino : Paolo Boringhieri, 1976
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui