Mechanizing Mathematical Reasoning

From MaRDI portal

Publication:5717446

Jump to:navigation, search

DOI10.1007/B106663zbMath1098.68902OpenAlexW2484955858MaRDI QIDQ5717446

Leonard Bolc

Publication date: 10 January 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b106663

Mathematics Subject Classification ID

Natural language processing (68T50) Linguistics (91F20)

This page was built for publication: Mechanizing Mathematical Reasoning

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5717446&oldid=30454986"