scientific article
From MaRDI portal
Publication:2723417
zbMath0963.68532MaRDI QIDQ2723417
S. F. Allen, R. Eaton, L. Lorigo, Christoph Kreitz, Robert L. Constable
Publication date: 5 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Ernst-Rüdiger Olderog: A Life for Meaning, Innovations in computational type theory using Nuprl, Computer supported mathematics with \(\Omega\)MEGA, The ILTP problem library for intuitionistic logic, Nuprl
Uses Software
