@cschon

Commonsense Reasoning Meets Theorem Proving

, and . Multiagent System Technologies - 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings, volume 9872 of Lecture Notes in Computer Science, page 3--17. Springer, (2016)

Links and resources

DOI:
10.1007/978-3-319-45889-2_1
URL:
BibTeX key:
DBLP:conf/mates/FurbachS16
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication