scientific article; zbMATH DE number 2190569
From MaRDI portal
Publication:5462451
zbMath1101.68836MaRDI QIDQ5462451
Publication date: 2 August 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in artificial intelligence (68T01)
Related Items
Supporting the formal verification of mathematical texts ⋮ Learning to Parse on Aligned Corpora (Rough Diamond) ⋮ Automating formalization by statistical and semantic parsing of mathematics ⋮ Integrating searching and authoring in Mizar ⋮ Premise Selection in the Naproche System ⋮ Translating between Language and Logic: What Is Easy and What Is Difficult
This page was built for publication:
