71![Generating Customized Verifiers for Automatically Generated Code Ewen Denney Bernd Fischer Generating Customized Verifiers for Automatically Generated Code Ewen Denney Bernd Fischer](https://www.pdfsearch.io/img/cc36520630911d533d6760538f635f5e.jpg) | Add to Reading ListSource URL: ti.arc.nasa.govLanguage: English |
---|
72![The Applicability of Logic Program Analysis and Transformation to Theorem Proving 1 D.A. de Waal The Applicability of Logic Program Analysis and Transformation to Theorem Proving 1 D.A. de Waal](https://www.pdfsearch.io/img/4562d0c9cf172525e9570a942863bd43.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:05:11
|
---|
73![Conjunctive Partial Deduction in Practice Jesper J
rgensen? Michael Leuschel?? Bern Martens??? K.U. Leuven, Department of Computer Science Celestijnenlaan 200A, B-3001 Heverlee, Belgium e-mail: fjesper,michael,berng@cs.k Conjunctive Partial Deduction in Practice Jesper J
rgensen? Michael Leuschel?? Bern Martens??? K.U. Leuven, Department of Computer Science Celestijnenlaan 200A, B-3001 Heverlee, Belgium e-mail: fjesper,michael,berng@cs.k](https://www.pdfsearch.io/img/77fd10e4f3a975475daa53adb01babb1.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:06:03
|
---|
74![Histos () – HERODOTUS’ PROLOGUE AND THE GREEK POETIC TRADITION Abstract: This article seeks to deepen our understanding of Herodotus’ relationship to Homer as reflected in the prolog Histos () – HERODOTUS’ PROLOGUE AND THE GREEK POETIC TRADITION Abstract: This article seeks to deepen our understanding of Herodotus’ relationship to Homer as reflected in the prolog](https://www.pdfsearch.io/img/4d52fb4f6adbe8a1a0185a659eb6f35b.jpg) | Add to Reading ListSource URL: research.ncl.ac.ukLanguage: English - Date: 2012-07-11 14:45:12
|
---|
75![A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel (Extended Abstract) C.A.Gurr∗ Human Communication Research Centre University of Edinburgh A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel (Extended Abstract) C.A.Gurr∗ Human Communication Research Centre University of Edinburgh](https://www.pdfsearch.io/img/84261cde99876b5d41c762a6e6ad9d5d.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:05:11
|
---|
76![Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1 Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1](https://www.pdfsearch.io/img/346562ee9b142efdf401c36cdf615b40.jpg) | Add to Reading ListSource URL: www.dcs.bbk.ac.ukLanguage: English - Date: 2014-05-16 12:08:08
|
---|
77![Generating driving directions for intelligent vehicles interfaces Barbara Di Eugenio Computer Science University of Illinois at Chicago Chicago, IL 60607, USA Generating driving directions for intelligent vehicles interfaces Barbara Di Eugenio Computer Science University of Illinois at Chicago Chicago, IL 60607, USA](https://www.pdfsearch.io/img/753b5b0af2390bbcee3e4084bdcc63b3.jpg) | Add to Reading ListSource URL: nlp.cs.uic.eduLanguage: English - Date: 2013-03-02 15:00:28
|
---|
78![EXPERT SYSTEMS APPLIED TO PROBLEMS IN GEOGRAPHIC INFORMATION SYSTEMS: INTRODUCTION, REVIEW AND PROSPECTS Vincent B. Robinson (Goss.Ensuadrain§UNCA-MULTICS.MAILNET) Department of Surveying Engineering EXPERT SYSTEMS APPLIED TO PROBLEMS IN GEOGRAPHIC INFORMATION SYSTEMS: INTRODUCTION, REVIEW AND PROSPECTS Vincent B. Robinson (Goss.Ensuadrain§UNCA-MULTICS.MAILNET) Department of Surveying Engineering](https://www.pdfsearch.io/img/4f358521fabf77aa3ed287c0251ae58a.jpg) | Add to Reading ListSource URL: mapcontext.comLanguage: English - Date: 2008-08-30 00:26:02
|
---|
79![Monday 16 September 9:00 Invited talk (chair: Tom Schrijvers) Monday 16 September 9:00 Invited talk (chair: Tom Schrijvers)](https://www.pdfsearch.io/img/a18169f606f391f4e68675cae795c4bd.jpg) | Add to Reading ListSource URL: users.ugent.beLanguage: English - Date: 2014-09-18 05:58:35
|
---|
80![Inhaltsverzeichnis I. Topologische R¨ aume . . . . . . . . . . . . . . . . . I.1 Prolog: Metrische R¨aume . . . . . . . . . . . . Inhaltsverzeichnis I. Topologische R¨ aume . . . . . . . . . . . . . . . . . I.1 Prolog: Metrische R¨aume . . . . . . . . . . . .](https://www.pdfsearch.io/img/d800152174fa319cb5188f1a5aef5517.jpg) | Add to Reading ListSource URL: page.mi.fu-berlin.deLanguage: German - Date: 2006-04-04 06:59:02
|
---|