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.

Biblioteca

MARC Lista (tabellare)
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-991001341109707536
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
Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982 / edited by Jacques Calmet
Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982 / edited by Jacques Calmet
Autore European computer algebra conference <1982 ; Marseille>
Pubbl/distr/stampa Berlin : Springer-Verlag, 1982
Descrizione fisica xiv, 301 p. : ill. ; 25 cm.
Disciplina 512.002854
Altri autori (Persone) Calmet, Jacques
Soggetto topico Algebra-data processing - Congresses
ISBN 3540116079
Classificazione AMS 68-06
CR I.1
CR J.2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000776299707536
European computer algebra conference <1982 ; Marseille>  
Berlin : Springer-Verlag, 1982
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Computer algebra : EUROCAL'83, European Computer Algebra Conference, London, England, March 28-30, 1983 / edited by J. A. van Hulzen
Computer algebra : EUROCAL'83, European Computer Algebra Conference, London, England, March 28-30, 1983 / edited by J. A. van Hulzen
Autore European computer algebra conference <1983 ; London>
Pubbl/distr/stampa Berlin : Springer-Verlag, 1983
Descrizione fisica xii, 305 p. ; 25 cm.
Disciplina 510
Altri autori (Persone) Hulzen, J. A. van
Soggetto topico Algebra-data processing - Congresses
ISBN 3540128689
Classificazione AMS 68-06
CR I.1
CR J.2
QA155.7.E4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione en
Record Nr. UNISALENTO-991000776529707536
European computer algebra conference <1983 ; London>  
Berlin : Springer-Verlag, 1983
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy
OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy
Autore Kohlhase, Michael
Pubbl/distr/stampa Berlin : Springer, c2006
Descrizione fisica xix, 428 p. : ill. ; 24 cm
Collana Lecture notes in computer science ; 4180
Lecture notes in computer science. Lecture notes in artificial intelligence. AI systems
Lecture notes in computer science, 0302-9743 ; 4180. Lecture notes in artificial intelligence. AI systems
Soggetto topico Mathematics - Data processing
Information storage and retrieval systems - Mathematics
OMDoc (Document markup language)
ISBN 3540378979
9783540378976
Classificazione CR I.2
CR F.4
CR F.3.1
CR G.4
CR H.3
CR I.1
CR I.7
AMS 68P
LC QA76.95.K64
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991002027709707536
Kohlhase, Michael  
Berlin : Springer, c2006
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
6th sixth Conference on Automated Deduction : New York, USA, June 7-9, 1982 / edited by D. W. Loveland
6th sixth Conference on Automated Deduction : New York, USA, June 7-9, 1982 / edited by D. W. Loveland
Autore Loveland, Donald W.
Pubbl/distr/stampa Berlin : Springer-Verlag, 1982
Descrizione fisica vii, 389 p. ; 25 cm.
Disciplina 511.3
Soggetto topico Automatic theorem proving - Congresses
Symbolic and mathematical logic - Congresses
ISBN 3540115587
Classificazione AMS 68-06
AMS 68-XX
CR I.1
CR J.2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001350739707536
Loveland, Donald W.  
Berlin : Springer-Verlag, 1982
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui