Evidence algorithm and system for automated deduction: a retrospective view
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
To vladimir lifschitz on his 65th birthday
Correct Reasoning
Cybernetics and Systems Analysis
Hi-index | 0.00 |