scientific article; zbMATH DE number 1951637
From MaRDI portal
Publication:4413892
zbMath1022.68621MaRDI QIDQ4413892
Piotr Rudnicki, Andrzej Trybulec
Publication date: 21 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2594/25940162.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)
Related Items (7)
Four decades of {\textsc{Mizar}}. Foreword ⋮ Mizar: State-of-the-art and Beyond ⋮ An example of formalizing recent mathematical results in MIZAR ⋮ Concatenation of finite sequences ⋮ Methods of lemma extraction in natural deduction proofs ⋮ Arithmetic operations on short finite sequences ⋮ Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
Uses Software
This page was built for publication: