Special issue: Proceedings of the validated computing 2002 conference, Toronto, Canada, May 23--25, 2002. Selected papers (Q1404765)
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: Special issue: Proceedings of the validated computing 2002 conference, Toronto, Canada, May 23--25, 2002. Selected papers |
scientific article; zbMATH DE number 1969307
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Special issue: Proceedings of the validated computing 2002 conference, Toronto, Canada, May 23--25, 2002. Selected papers |
scientific article; zbMATH DE number 1969307 |
Statements
Special issue: Proceedings of the validated computing 2002 conference, Toronto, Canada, May 23--25, 2002. Selected papers (English)
0 references
18 December 2003
0 references
The articles of this volume will be reviewed individually.
0 references
Validated computing
0 references
Toronto (Canada)
0 references
