1![Automatic Refinement Checking for B? Michael Leuschel1,2 and Michael Butler1 1 2 Automatic Refinement Checking for B? Michael Leuschel1,2 and Michael Butler1 1 2](https://www.pdfsearch.io/img/98204c72e5cd3a014293902a2699e329.jpg) | Add to Reading ListSource URL: rodin.cs.ncl.ac.ukLanguage: English - Date: 2007-11-21 10:57:32
|
---|
2![Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital/hard c Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital/hard c](https://www.pdfsearch.io/img/26db99a33eb76939177bc1f317f620c7.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:06:04
|
---|
3![New Wave KRR: Rulelog-based Deep Reasoning with NLP for Financial Regulatory Compliance and More Benjamin Grosof* Coherent Knowledge** Presentation (30-min.) New Wave KRR: Rulelog-based Deep Reasoning with NLP for Financial Regulatory Compliance and More Benjamin Grosof* Coherent Knowledge** Presentation (30-min.)](https://www.pdfsearch.io/img/ea858022136705cc150a8e340e7efa94.jpg) | Add to Reading ListSource URL: ijcai-16.orgLanguage: English - Date: 2016-07-22 16:57:54
|
---|
4![The XSB System Version 3.6.x Volume 1: Programmer’s Manual Terrance Swift The XSB System Version 3.6.x Volume 1: Programmer’s Manual Terrance Swift](https://www.pdfsearch.io/img/04342f0f75f1f04d50c6a6b941e53e49.jpg) | Add to Reading ListSource URL: xsb.sourceforge.netLanguage: English - Date: 2015-04-23 18:35:32
|
---|
5![Tabled Execution in Scheme (Scheme Pearl) Jeremiah Willcock Andrew Lumsdaine Tabled Execution in Scheme (Scheme Pearl) Jeremiah Willcock Andrew Lumsdaine](https://www.pdfsearch.io/img/c3a56a85663a39a69dbc4ea8def52ed6.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2012-08-10 19:21:42
|
---|
6![A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es](https://www.pdfsearch.io/img/f6df2ee86ab6e5fa0a7f1eb657cfb8d6.jpg) | Add to Reading ListSource URL: www.clip.dia.fi.upm.esLanguage: English - Date: 2009-07-09 07:03:26
|
---|
7![A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es](https://www.pdfsearch.io/img/3a1b5f249df4d47e73f20cf947bcdbe1.jpg) | Add to Reading ListSource URL: clip.dia.fi.upm.esLanguage: English - Date: 2009-07-09 07:03:26
|
---|
8![Constraint Handling Rules for SWI-Prolog Tom Schrijvers?1 , Jan Wielemaker2 , and Bart Demoen1 1 2 Constraint Handling Rules for SWI-Prolog Tom Schrijvers?1 , Jan Wielemaker2 , and Bart Demoen1 1 2](https://www.pdfsearch.io/img/3770b74e33a0e8180e2e86df33a3ba11.jpg) | Add to Reading ListSource URL: www.swi-prolog.orgLanguage: English - Date: 2015-04-03 07:57:28
|
---|
9![JR Toyota Tacoma XSB Instructions 056.indd JR Toyota Tacoma XSB Instructions 056.indd](https://www.pdfsearch.io/img/8d61e21044daffa182428ab683fadf4d.jpg) | Add to Reading ListSource URL: www.tonneau-covers-online.comLanguage: English - Date: 2007-11-25 11:31:50
|
---|
10![XAVIER SOCIETY FOR THE BLIND 2 PENN PLAZA, SUITE 1102 NEW YORK, NY[removed][removed]9193 [removed] XSB SPIRTUAL ESSENTIALS – BRAILLE XAVIER SOCIETY FOR THE BLIND 2 PENN PLAZA, SUITE 1102 NEW YORK, NY[removed][removed]9193 [removed] XSB SPIRTUAL ESSENTIALS – BRAILLE](https://www.pdfsearch.io/img/c65d410884c34ea9f537db811072aaf5.jpg) | Add to Reading ListSource URL: www.xaviersocietyfortheblind.orgLanguage: English - Date: 2014-04-04 15:58:08
|
---|