[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 6355 || The TPTP World – Infrastructure for Automated Reasoning
Clarke, Edmund M., Voronkov, AndreiVolume:
10.1007/97
Year:
2010
Language:
english
DOI:
10.1007/978-3-642-17511-4_1
File:
PDF, 289 KB
english, 2010