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