![Software engineering / Computer programming / Computing / Prolog Software engineering / Computer programming / Computing / Prolog](https://www.pdfsearch.io/img/6b459908c887208d71b9442919778848.jpg) 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 Website File Size: 171,20 KBShare Document on Facebook
|