A Superposition-Based Calculus for Diagrammatic Reasoning (PPDP 2021) [Sept. 7, 2021]
Summary
Paper presented at PPDP 2021. Joint work with R. Echahed, M. Echenim, M. Mhalla.
Infos
-
Added by:
-
Updated on:
Sept. 7, 2021, 6:07 p.m. -
Duration:
00:24:53 -
Number of views:
-
Type:
-
Main language:
English -
Discipline(s):
Downloads
Video file(s):
Audio file:
Comments have been disabled for this video.