scientific article; zbMATH DE number 1086866

From MaRDI portal

Revision as of 23:21, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4363124

Jump to:navigation, search

zbMath0884.68114MaRDI QIDQ4363124

Roderick Moten

Publication date: 17 March 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Nuprl proof developement system

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (1)

Uses Software

Unnamed Item

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4363124&oldid=18350487"