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.
First-order logic / Raymond M. Smullyan
First-order logic / Raymond M. Smullyan
Autore Smullyan, Raymond M.
Pubbl/distr/stampa New York : Dover Publications, c1995
Descrizione fisica XII, 158 p. ; 22 cm
Disciplina 511.3
Collana Dover books on mathematics
Soggetto non controllato Logica matematica
Logica simbolica
Logica di primo grado
ISBN 0-486-68370-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990003986590403321
Smullyan, Raymond M.  
New York : Dover Publications, c1995
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Fixed point constructions in various theories of mathematical logic / Giovanni Sommaruga-Rosolemos
Fixed point constructions in various theories of mathematical logic / Giovanni Sommaruga-Rosolemos
Autore Sommaruga-Rosolemos, Giovanni
Pubbl/distr/stampa Napoli, : Bibliopolis, 1991
Descrizione fisica 118 p. ; 24 cm
Soggetto non controllato Logica matematica
ISBN 88-7088-246-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910745000903321
Sommaruga-Rosolemos, Giovanni  
Napoli, : Bibliopolis, 1991
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Forcing idealized / Jindrich Zapletal
Forcing idealized / Jindrich Zapletal
Autore Zapletal, Jindrich
Pubbl/distr/stampa Cambridge : cambridge University press, c2008
Descrizione fisica vi, 314 p. ; 24 cm
Disciplina 511.26
Collana Cambridge tracts in mathematics
Soggetto non controllato Logica matematica
ISBN 978-0-521-87426-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990008684870403321
Zapletal, Jindrich  
Cambridge : cambridge University press, c2008
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Formal languages and their relation to automata / John E. Hopcroft, Jeffrey D. Ullman
Formal languages and their relation to automata / John E. Hopcroft, Jeffrey D. Ullman
Autore HOPCROFT, John E.
Pubbl/distr/stampa Reading : Addison-Wesley, 1969
Descrizione fisica X, 242 p. : ill. ; 23 cm
Disciplina 511.3
Collana Addison-Wesley series in computer science and information processing
Soggetto non controllato Linguaggi formali
Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000178970203316
HOPCROFT, John E.  
Reading : Addison-Wesley, 1969
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Foundations of inductive logic programming / Shan-Hwei Nienhuys-Cheng, Ronald de Wolf
Foundations of inductive logic programming / Shan-Hwei Nienhuys-Cheng, Ronald de Wolf
Autore NIENHUYS-CHENG, Shan-Hwei
Pubbl/distr/stampa Berlin : Springer-Verlag, copyr. 1997
Descrizione fisica XVII, 404 p. : ill. ; 23 cm
Disciplina 005.1
Collana Lecture notes in artificial intelligence
Soggetto non controllato Elaboratori elettronici - Programmazione
Logica matematica
ISBN 3-540-62927-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000202270203316
NIENHUYS-CHENG, Shan-Hwei  
Berlin : Springer-Verlag, copyr. 1997
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Foundations of logic and mathematics / Rudolf Carnap
Foundations of logic and mathematics / Rudolf Carnap
Autore Carnap, Rudolf <1891-1970>
Pubbl/distr/stampa Chicago : The University of Chicago Press, 1957
Descrizione fisica IV, 71 p. ; 24 cm
Disciplina 511.3
Collana International encyclopedia of unified science, Vol 1.
Soggetto non controllato Logica
Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990000064260403321
Carnap, Rudolf <1891-1970>  
Chicago : The University of Chicago Press, 1957
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Fronties of combiningsystem : third International workschop,FroCos 2000 : Nancy, France, March 22-24, 2000 : proceedings / Helene Kirchner...[et al] (eds)
Fronties of combiningsystem : third International workschop,FroCos 2000 : Nancy, France, March 22-24, 2000 : proceedings / Helene Kirchner...[et al] (eds)
Autore International workschop, FroCos 2000 <3.; 2000; Nancy>
Pubbl/distr/stampa Berlino : Springer-Verlag, c2000
Descrizione fisica X, 289 p. : ill. ; 24 cm
Disciplina 511.3
Collana Lecture notes in artificial intelligence
Soggetto non controllato Logica matematica
Congressi
ISBN 3-540-67281-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000337790203316
International workschop, FroCos 2000 <3.; 2000; Nancy>  
Berlino : Springer-Verlag, c2000
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Functional and logic programming : 8th International symposium, FLOPS 2006 : Fuji-Susono, Japan, April 24-26, 2006 : proceedings / Masami Hagiya, Philip Wadler(eds.)
Functional and logic programming : 8th International symposium, FLOPS 2006 : Fuji-Susono, Japan, April 24-26, 2006 : proceedings / Masami Hagiya, Philip Wadler(eds.)
Autore International symposium, FLOPS 2006 : <8. ; : 2006
Pubbl/distr/stampa Berlin : Springer-Verlag, copyr. 2006
Descrizione fisica VIII, 293 p. : ill. ; 20 cm.
Disciplina 005.1
Collana Lecture notes in computer science
Soggetto non controllato Elaboratori elettronici
Logica matematica
ISBN 3-540-33438-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990002979020203316
International symposium, FLOPS 2006 : <8. ; : 2006  
Berlin : Springer-Verlag, copyr. 2006
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Functional and logic programming : 9th International symposium, FLOPS 2008 : Ise, Japan, April 14-16, 2008 : proceedings / Jacques Garrigue, Manuel Hermenegildo (Eds.)
Functional and logic programming : 9th International symposium, FLOPS 2008 : Ise, Japan, April 14-16, 2008 : proceedings / Jacques Garrigue, Manuel Hermenegildo (Eds.)
Autore International symposium, FLOPS 2008 : <9.; : 2008
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 2008
Descrizione fisica XI, 336 p. : ill. ; 24 cm.
Disciplina 005.1
Collana Lecture notes in computer science
Soggetto non controllato Elaboratori elettronici
Logica matematica
ISBN 978-3-540-78968-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003114320203316
International symposium, FLOPS 2008 : <9.; : 2008  
Berlin [etc.] : Springer, copyr. 2008
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Fuzzy logic : mathematical tools for approximate reasoning / Giangiacomo Gerla
Fuzzy logic : mathematical tools for approximate reasoning / Giangiacomo Gerla
Autore Gerla, Giangiacomo
Pubbl/distr/stampa Dordrecht : Kluwer Academic Publ., copyr.2001
Descrizione fisica XII,269 p. : ill. ; 20 cm
Collana Trends in logic
Soggetto non controllato Logica matematica
ISBN 0-7923-6941-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990001132100203316
Gerla, Giangiacomo  
Dordrecht : Kluwer Academic Publ., copyr.2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui