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