Calculemus 99. Systems for integrated computation and deduction, Trento, Italy, July 11--12, 1999 (Q1574778)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Calculemus 99. Systems for integrated computation and deduction, Trento, Italy, July 11--12, 1999 |
scientific article; zbMATH DE number 1489615
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Calculemus 99. Systems for integrated computation and deduction, Trento, Italy, July 11--12, 1999 |
scientific article; zbMATH DE number 1489615 |
Statements
Calculemus 99. Systems for integrated computation and deduction, Trento, Italy, July 11--12, 1999 (English)
0 references
13 August 2000
0 references
Trento (Italy)
0 references
Proceedings
0 references
Conference
0 references
Calculemus 99
0 references
Integrated computation
0 references
Integrated deduction
0 references
0 references
0.8769742
0 references
0.85338986
0 references
0.8434822
0 references
0.8277799
0 references
0 references
