Proceedings of IJCAR Workshop on Future Directions in Automated Reasoning 2001

Manfred Kerber

Research output: Book/ReportBook

Original languageEnglish
PublisherAK Peters
Publication statusPublished - 1 Jan 2001

Cite this