LogAnswer

swMATH21369MaRDI QIDQ33177FDOQ33177

Author name not available (Why is that?)

Official website: http://www.loganswer.de/

Described by source

• LogAnswer - A Deduction-Based Question Answering System (System Description)

Cited In (2)

• Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12--15, 2008 Proceedings
• E-KRHyper

This page was built for software: LogAnswer