-
Termination of Programs using Term Rewriting and SAT Solving
Giesl, Jürgen ; Schneider-Kamp, Peter ; Thiemann, René ; Swiderski, Stephan ; Nguyen, Manh Thang ; De Schreye, Daniel ; Serebrenik, Alexander
-
Relative Effects of Various Factors on Ice Ball Formation and Ablation Zone Size During Ultrasound-Guided Percutaneous Cryoneurolysis: A Laboratory Investigation to Inform Clinical Practice and Future Research
Said, Engy T. ; Marsh-Armstrong, Brennan P. ; Fischer, Seth J. ; Suresh, Preetham J. ; Swisher, Matthew W. ; Trescot, Andrea M. ; Prologo, J. David ; Abdullah, Baharin ; Ilfeld, Brian M.
-
Logic Programming with Prolog
Bramer, Max A. 2013 Springer London
-
Logic Programming with Prolog
2005 Springer London
-
SWI Prolog Reference Manual 7.1
Wielemaker, Jan ; De Koninck, Leslie ; Fruehwirth, Thom ; Triska, Markus ; Uneson, Marcus 2014 Books on Demand
-
Herramienta web para el desarrollo ágil de Sistemas Expertos – "Experto Virtual". Sistemas Expertos en la Web.
Becerra Gutierrez, Cesar Fabian 2019 Editorial Académica Española
-
Possibilities of visualizing the solution process of constraint logicbased systems by the example of SWI-Prolog’s CLP(FD) library
Stiehle, Fabian 2018 GRIN Verlag
-
Possibilities of visualizing the solution process of constraint logicbased systems by the example of SWI-Prolog’s CLP(FD) library
Stiehle, Fabian 2018 GRIN Verlag
-
SWI Prolog Reference Manual 6.2.2
Fruehwirth, Thom ; De Koninck, Leslie ; Triska, Markus ; Wielemaker, Jan 2012 Books on Demand
-
Интеллектуальные обучающие системы на основе нечетких моделей – Основы, концепции, методы проектирования
Клюкин, Виктор 2012 LAP LAMBERT Academic Publishing
-
SWI Prolog Reference Manual 6.2.2
Fruehwirth, Thom ; De Koninck, Leslie ; Triska, Markus ; Wielemaker, Jan 2012 Books on Demand
-
SWI Prolog Reference Manual 7.1
Wielemaker, Jan ; De Koninck, Leslie ; Fruehwirth, Thom ; Triska, Markus ; Uneson, Marcus 2014 Books on Demand
-
Anestesia local
Grass, Günter ; Gerhard, Carlos 2012 Capitán Swing