First Page | Document Content | |
---|---|---|
Date: 2016-07-22 17:48:02Software engineering Computer programming Computing Prolog | TAP : Lean Tableau-based Deduction? lean Bernhard Beckert & Joachim Posegga Universitat KarlsruheAdd to Reading ListSource URL: formal.iti.kit.eduDownload Document from Source WebsiteFile Size: 171,20 KBShare Document on Facebook |