scientific article; zbMATH DE number 2090294
From MaRDI portal
Publication:4809049
zbMath1072.68601MaRDI QIDQ4809049
Michael Kohlhase, Jürgen Zimmer
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2392/23920139.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Innovations in computational type theory using Nuprl, Computer supported mathematics with \(\Omega\)MEGA, Constraint solving for proof planning, An Online Computing and Knowledge Platform for Differential Equations, MathWeb
Uses Software