scientific article
From MaRDI portal
Publication:2766804
zbMath0988.68542MaRDI QIDQ2766804
Publication date: 22 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Information storage and retrieval of data (68P20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)
Related Items
A survey on retrieval of mathematical knowledge, Integrating searching and authoring in Mizar, A Foundational View on Integration Problems, Automorphisms of types in certain type theories and representation of finite groups
Uses Software
