scientific article; zbMATH DE number 482967
From MaRDI portal
Publication:4274997
zbMath0810.68059MaRDI QIDQ4274997
No author found.
Publication date: 16 December 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (3)
An approach to literate and structured formal developments ⋮ Towards an integration science. The influence of Richard Bellman on our research. ⋮ A formalization and proof checker for Isabelle's metalogic
This page was built for publication:
