scientific article; zbMATH DE number 741526
From MaRDI portal
Publication:4327735
zbMath0823.00022MaRDI QIDQ4327735
No author found.
Publication date: 6 April 1995
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 (3)
The measurement of ranks and the laws of iterated contraction ⋮ Metatheory of actions: beyond consistency ⋮ Proofs as schemas and their heuristic use
This page was built for publication: