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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Computer methods for engineering / Yogesh Jaluria |
Autore | Jaluria, Yogesh |
Pubbl/distr/stampa | Englewood Cliffs, NJ : Prentice Hall, c1988 |
Descrizione fisica | xiv, 529 p. ; 24 cm. |
Disciplina | 620.00285 |
Collana | Allyn and Bacon series in engineering |
Soggetto topico |
Engineering mathematics-Data processing
Numerical analysis-data processing |
ISBN | 0205106366 |
Classificazione |
AMS 68U99
CR J.2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000776969707536 |
Jaluria, Yogesh
![]() |
||
Englewood Cliffs, NJ : Prentice Hall, c1988 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|