scientific article; zbMATH DE number 1064416
From MaRDI portal
Publication:4355888
zbMath0925.68010MaRDI QIDQ4355888
No author found.
Publication date: 22 September 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items
Dynamic generation, management and resolution of interactive plots ⋮ Proofs as schemas and their heuristic use
This page was built for publication: