Back to Results
First PageMeta Content
Software engineering / Computer programming / Computing / Prolog


TAP : Lean Tableau-based Deduction? lean Bernhard Beckert & Joachim Posegga Universitat Karlsruhe
Add to Reading List

Document Date: 2016-07-22 17:48:02


Open Document

File Size: 171,20 KB

Share Result on Facebook
UPDATE