Learning2Reason

DOI10.1007/978-3-642-22673-1_27zbMath1335.68259OpenAlexW4236449761MaRDI QIDQ5200132

Josef Urban, Tom Heskes, Daniel Kühlwein, Herman Geuvers, Evgeni Tsivtsivadze

Publication date: 29 July 2011

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

Full work available at URL: https://doi.org/10.1007/978-3-642-22673-1_27

Mathematics Subject Classification ID

Uses Software

• MaLARea

Cites Work

• MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance

This page was built for publication: Learning2Reason