scientific article; zbMATH DE number 1951627
From MaRDI portal
Publication:4413879
zbMath1022.68614MaRDI QIDQ4413879
Publication date: 21 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2594/25940030.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
A Query Language for Formal Mathematical Libraries ⋮ Procedural representation of CIC proof terms ⋮ User interaction with the Matita proof assistant ⋮ A Review of Mathematical Knowledge Management ⋮ Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I
Uses Software
This page was built for publication:
