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.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
<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
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...