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.
Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings / / Claude Kirchner, Hélène Kirchner, eds
| Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings / / Claude Kirchner, Hélène Kirchner, eds |
| Pubbl/distr/stampa | Springer Berlin / Heidelberg |
| Disciplina | 006.3/3 |
| Altri autori (Persone) |
KirchnerHélène
KirchnerClaude |
| Soggetto topico |
Automatic theorem proving - Congresses
Logic, Symbolic and mathematical - Congresses |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466143103316 |
| Springer Berlin / Heidelberg | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings / / Claude Kirchner, Hélène Kirchner, eds
| Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings / / Claude Kirchner, Hélène Kirchner, eds |
| Pubbl/distr/stampa | Springer Berlin / Heidelberg |
| Disciplina | 006.3/3 |
| Altri autori (Persone) |
KirchnerHélène
KirchnerClaude |
| Soggetto topico |
Automatic theorem proving - Congresses
Logic, Symbolic and mathematical - Congresses |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910143631503321 |
| Springer Berlin / Heidelberg | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Trees in algebra and programming--CAAP '96 : 21st international colloquium, Linköping, Sweden, April 22-24, 1996, proceedings / / Hélène Kirchner (ed.)
| Trees in algebra and programming--CAAP '96 : 21st international colloquium, Linköping, Sweden, April 22-24, 1996, proceedings / / Hélène Kirchner (ed.) |
| Pubbl/distr/stampa | Springer Berlin Heidelberg |
| Disciplina | 511/.5 |
| Altri autori (Persone) | KirchnerHélène |
| Soggetto topico |
Trees (Graph theory) - Data processing - Congresses
Data structures (Computer science) - Congresses Computational complexity - Congresses |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Trees in Algebra and Programming — CAAP '96 |
| Record Nr. | UNISA-996465589303316 |
| Springer Berlin Heidelberg | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||