Special issue: Calculemus-99: Integrating computation and deduction. 1st workshop, Trento, Italy, July 11--12, 1999 (Q5952593)
From MaRDI portal
scientific article; zbMATH DE number 1691577
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Special issue: Calculemus-99: Integrating computation and deduction. 1st workshop, Trento, Italy, July 11--12, 1999 |
scientific article; zbMATH DE number 1691577 |
Statements
Special issue: Calculemus-99: Integrating computation and deduction. 1st workshop, Trento, Italy, July 11--12, 1999 (English)
0 references
16 January 2002
0 references
The five selected papers will be reviewed individually.
0 references
Special issue
0 references
Trento (Italy)
0 references
Selected papers
0 references
Workshop
0 references
Calculemus-99
0 references
Integrating computation
0 references
Integrating deduction
0 references
