scientific article; zbMATH DE number 1765686
From MaRDI portal
Publication:4539626
zbMath0988.68596MaRDI QIDQ4539626
Publication date: 10 July 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830416
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Computer supported mathematics with \(\Omega\)MEGA ⋮ Lemmatization for Stronger Reasoning in Large Theories ⋮ P.rex ⋮ PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems ⋮ An Interactive Derivation Viewer
Uses Software
This page was built for publication:
