1![Der Prolog zu Gargantua und der Pantagruelismus Raible, Wolfgang Romanische Forschungen; Jan 1, 1966; 78, 2; ProQuest pgWo 1 f g a n g R a i b 1 e (K ö 1 n) DER PROLOG ZU GARGANTU A UND DER PANTAGRUELISMUS Der Prolog zu Gargantua und der Pantagruelismus Raible, Wolfgang Romanische Forschungen; Jan 1, 1966; 78, 2; ProQuest pgWo 1 f g a n g R a i b 1 e (K ö 1 n) DER PROLOG ZU GARGANTU A UND DER PANTAGRUELISMUS](https://www.pdfsearch.io/img/43b3af0793469e4ec2bd5419bd388f0b.jpg) | Add to Reading ListSource URL: latina.phil2.uni-freiburg.deLanguage: German - Date: 2018-04-05 06:42:23
|
---|
2![Constraint Programming -- The B-Prolog Project Constraint Programming -- The B-Prolog Project](https://www.pdfsearch.io/img/a020275ca1fa600d633e2720d5b21cdd.jpg) | Add to Reading ListSource URL: www.sci.brooklyn.cuny.edu- Date: 2009-09-22 11:38:17
|
---|
3![Solving Combinatorial Search Problems Using B-Prolog Neng-Fa Zhou 周 能法 The City University of New York Solving Combinatorial Search Problems Using B-Prolog Neng-Fa Zhou 周 能法 The City University of New York](https://www.pdfsearch.io/img/93c30564a57c105371957548080dbf1f.jpg) | Add to Reading ListSource URL: www.sci.brooklyn.cuny.edu- Date: 2010-10-12 14:56:21
|
---|
4![B-Prolog: An Overview www.bprolog.com B-Prolog is a high-performance, high-quality, and award-wining implementation of the standard Prolog language with several useful extended features including action rules for event h B-Prolog: An Overview www.bprolog.com B-Prolog is a high-performance, high-quality, and award-wining implementation of the standard Prolog language with several useful extended features including action rules for event h](https://www.pdfsearch.io/img/785de58858f960ae546317b05f29fe5a.jpg) | Add to Reading ListSource URL: www.sci.brooklyn.cuny.edu- Date: 2007-06-06 13:44:13
|
---|
5![Theory and Practice of Logic Programming 1 The Language Features and Architecture of B-Prolog Theory and Practice of Logic Programming 1 The Language Features and Architecture of B-Prolog](https://www.pdfsearch.io/img/e6b5670d86e4666f7f75a94bd13af085.jpg) | Add to Reading ListSource URL: www.sci.brooklyn.cuny.edu- Date: 2011-02-23 16:01:36
|
---|
6![RULE-BASED CARTOGRAPHIC NAME PLACEMENT WITH PROLOG Christopher B. Jones Anthony C. Cook Polytechnic of Wales Pontypridd RULE-BASED CARTOGRAPHIC NAME PLACEMENT WITH PROLOG Christopher B. Jones Anthony C. Cook Polytechnic of Wales Pontypridd](https://www.pdfsearch.io/img/06ec5333a7bb6fb12154cbc2d6499508.jpg) | Add to Reading ListSource URL: mapcontext.com- Date: 2008-08-30 00:55:12
|
---|
7![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
|
---|
8![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
|
---|
9![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
|
---|
10![Integrated Logic Systems Part 1: Deduction Systems This part is concerned with the design and use of various deduction systems: Prolog Tableaux-Prover Integrated Logic Systems Part 1: Deduction Systems This part is concerned with the design and use of various deduction systems: Prolog Tableaux-Prover](https://www.pdfsearch.io/img/72d008eb3e398d9a535643ba6ca64e34.jpg) | Add to Reading ListSource URL: www.cs.bath.ac.ukLanguage: English - Date: 2012-01-04 14:04:47
|
---|