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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|