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.
1 : pt. A. XXXIV, 467 p.pt. B. 466 p.
| 1 : pt. A. XXXIV, 467 p.pt. B. 466 p. |
| Autore | Edwards, Robert E. |
| Pubbl/distr/stampa | New York : Springer-Verlag, 1979 |
| Descrizione fisica | 1 v. in 2 (p. 933 compless.) ; 23 cm |
| Disciplina | 511.3 |
| ISBN | 0-387-90431-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000868480403321 |
Edwards, Robert E.
|
||
| New York : Springer-Verlag, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
1 Fachtagung uber automatentheorie und formale sprachen : Bonn, 9-12 Juli 1973 / herausgegeben im Auftrag der GI von Karl Heinz Bohling und Klaus Indermark
| 1 Fachtagung uber automatentheorie und formale sprachen : Bonn, 9-12 Juli 1973 / herausgegeben im Auftrag der GI von Karl Heinz Bohling und Klaus Indermark |
| Autore | Fachtagung uber automatentheorie und formale sprachen <1; Bonn; 1973> |
| Pubbl/distr/stampa | Berlin : Springer Verlag, 1973 |
| Descrizione fisica | VII, 322 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISA-990000348960203316 |
|
Fachtagung uber automatentheorie und formale sprachen <1; Bonn; 1973>
|
||
| Berlin : Springer Verlag, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
10. International conference on automated deduction : Kaiserslautern, FRG, july 24-27, 1990 : proceedings / M.E. Stickel
| 10. International conference on automated deduction : Kaiserslautern, FRG, july 24-27, 1990 : proceedings / M.E. Stickel |
| Autore | International conference on automated deduction <10. ; 1990 ; Kaiserslautern> |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, c1990 |
| Descrizione fisica | XVI, 688 p : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Lectures notes in artificial intelligence |
| Soggetto topico | Logica simbolica -- Congressi -- 1990 |
| ISBN | 3-540-52885-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000720860203316 |
|
International conference on automated deduction <10. ; 1990 ; Kaiserslautern>
|
||
| Berlin : Springer-Verlag, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
3 Jahrestagung : Hamburg, 8-10 oktober 1973 / herausgegeben im Auftrag der GI von Wilfred Brauer
| 3 Jahrestagung : Hamburg, 8-10 oktober 1973 / herausgegeben im Auftrag der GI von Wilfred Brauer |
| Autore | Jahrestagung <3; Hamburg; 1973> |
| Pubbl/distr/stampa | Berlin : Springer Verlag, 1973 |
| Descrizione fisica | XI, 508 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISA-990000348940203316 |
|
Jahrestagung <3; Hamburg; 1973>
|
||
| Berlin : Springer Verlag, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
5 Jahrestagung : Dortmund, 8-10 oktober 1975 / <a cura di> GI. Gesellschaft fur informatik e. V. ; herausgegeben im Auftrag der GI von J. Muhlbacher
| 5 Jahrestagung : Dortmund, 8-10 oktober 1975 / <a cura di> GI. Gesellschaft fur informatik e. V. ; herausgegeben im Auftrag der GI von J. Muhlbacher |
| Autore | Jahrestagung <5.; Dortmund; 1975> |
| Pubbl/distr/stampa | Berlin : Springer Verlag, 1975 |
| Descrizione fisica | X, 755 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISA-990000349390203316 |
|
Jahrestagung <5.; Dortmund; 1975>
|
||
| Berlin : Springer Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
5th conference on automated deduction : Les Arcs, France, July 8-11, 1980 / edited by Bibel and R. Kowalski
| 5th conference on automated deduction : Les Arcs, France, July 8-11, 1980 / edited by Bibel and R. Kowalski |
| Pubbl/distr/stampa | Berlin : Springer Verlag, 1980 |
| Descrizione fisica | VII, 385 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000350070203316 |
| Berlin : Springer Verlag, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings / ed. R. E. Shostak
| 7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings / ed. R. E. Shostak |
| Autore | International conference on automated deduction <7. ; 1984 ; Napa, California> |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1984 |
| Descrizione fisica | vi, 508 p. : ill. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Shostak, Robert E. |
| Soggetto topico |
Automatic theorem proving - Congresses
Symbolic logic - Congresses |
| ISBN | 3540960228 |
| Classificazione |
AMS 68-06
AMS 68-XX CR I.1 CR J.2 QA76.9.A96158 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-b10834047 |
|
International conference on automated deduction <7. ; 1984 ; Napa, California>
|
||
| Berlin ; New York : Springer-Verlag, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
9 lezioni di logica : la logica nel suo sviluppo storico e concettuale / Edoardo Ballo ... [et al.]
| 9 lezioni di logica : la logica nel suo sviluppo storico e concettuale / Edoardo Ballo ... [et al.] |
| Autore | Ballo, Edoardo |
| Pubbl/distr/stampa | Padova : Franco Muzzio, c1990 |
| Descrizione fisica | 194 p. : ill ; 21 cm |
| Disciplina | 511.3 |
| Collana | Muzzio scienze |
| Soggetto non controllato | Logica matematica |
| ISBN | 88-7021-524-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001498040403321 |
|
Ballo, Edoardo
|
||
| Padova : Franco Muzzio, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
9 lezioni di logica : la logica nel suo sviluppo storico e concettuale / E. Ballo... et al.
| 9 lezioni di logica : la logica nel suo sviluppo storico e concettuale / E. Ballo... et al. |
| Pubbl/distr/stampa | Padova : F. Muzzio, c1990 |
| Descrizione fisica | 194 p ; 21 cm |
| Disciplina | 511.3 |
| Collana | Muzzio scienze |
| Soggetto topico | Logica matematica |
| ISBN | 88-7021-524-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000843070203316 |
| Padova : F. Muzzio, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
<Lampda> Calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 / <a cura di> IAC. Istituto per le applicazioni del Calcolo "M. Picone", CNR. Consiglio nazionale delle ricerche ; edited by C. Bohm
| <Lampda> Calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 / <a cura di> IAC. Istituto per le applicazioni del Calcolo "M. Picone", CNR. Consiglio nazionale delle ricerche ; edited by C. Bohm |
| Pubbl/distr/stampa | Berlin : Springer Verlag, 1975 |
| Descrizione fisica | XII, 370 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000349480203316 |
| Berlin : Springer Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
