41![INHALT Vorwort . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 PROLOG INHALT Vorwort . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 PROLOG](https://www.pdfsearch.io/img/8c07910ae9a753a655fd040bfb6736d1.jpg) | Add to Reading ListSource URL: www.fibre-verlag.de- Date: 2016-07-30 06:40:33
|
---|
42![Die BDKJ-Hauptversammlung hat beschlossen: Prolog: Die europäische Einigung ist ein beispielloses Erfolgsmodell. Ausgehend von den Erlebnissen der beiden Weltkriege im vergangenen Jahrhundert hat die europäische Integ Die BDKJ-Hauptversammlung hat beschlossen: Prolog: Die europäische Einigung ist ein beispielloses Erfolgsmodell. Ausgehend von den Erlebnissen der beiden Weltkriege im vergangenen Jahrhundert hat die europäische Integ](https://www.pdfsearch.io/img/13ce0f2a10f35019b05208491eb681d8.jpg) | Add to Reading ListSource URL: www.bdkj.de- Date: 2014-05-20 16:42:51
|
---|
43![Logimix: A Self-Applicable Partial Evaluator for Prolog∗ Torben Æ. Mogensen Anders Bondorf DIKU, Department of Computer Science, Logimix: A Self-Applicable Partial Evaluator for Prolog∗ Torben Æ. Mogensen Anders Bondorf DIKU, Department of Computer Science,](https://www.pdfsearch.io/img/d24579abde6a58156626d465ec219257.jpg) | Add to Reading ListSource URL: repository.readscheme.org- Date: 2010-10-22 08:05:00
|
---|
44![A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog? T. Str¨ oder1 , F. Emmes1 , P. Schneider-Kamp2 , J. Giesl1 , and C. Fuhs1 1 A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog? T. Str¨ oder1 , F. Emmes1 , P. Schneider-Kamp2 , J. Giesl1 , and C. Fuhs1 1](https://www.pdfsearch.io/img/9cf19b9c962e017650f12828152bc98d.jpg) | Add to Reading ListSource URL: www.dcs.bbk.ac.uk- Date: 2011-07-19 17:56:54
|
---|
45![Definite clause grammars Representation Prolog CFGs Definite clause grammars Representation Prolog CFGs](https://www.pdfsearch.io/img/50c39d3a8c2e9afb0baa1827a2dc35db.jpg) | Add to Reading ListSource URL: cl.indiana.edu- Date: 2016-03-31 09:33:19
|
---|
46![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
|
---|
47![Tutorial on Specialisation of Logic Programs J.P. Gallagher Department of Computer Science University of Bristol University Walk Bristol BS8 1TR, U.K. Tutorial on Specialisation of Logic Programs J.P. Gallagher Department of Computer Science University of Bristol University Walk Bristol BS8 1TR, U.K.](https://www.pdfsearch.io/img/70a5fa6cb5b36f7e485e84559d4ebbb3.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:05:29
|
---|
48![E
ective Meta-programming in Declarative Languages Antony Francis Bowers A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosophy in the Faculty of E
ective Meta-programming in Declarative Languages Antony Francis Bowers A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosophy in the Faculty of](https://www.pdfsearch.io/img/27a594a9383ddb80cb379ab20ffbcb8b.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:05:11
|
---|
49![A RULE-BASED APPROACH FOR SPATIAL OBJECT MODELLING AND TASK MANAGEMENT Qiming Chen National Land Information System National Bureau of Surveying & Mapping* Beijing, A RULE-BASED APPROACH FOR SPATIAL OBJECT MODELLING AND TASK MANAGEMENT Qiming Chen National Land Information System National Bureau of Surveying & Mapping* Beijing,](https://www.pdfsearch.io/img/145e1980410dc432e999e18904f97c56.jpg) | Add to Reading ListSource URL: mapcontext.comLanguage: English - Date: 2008-08-30 01:03:11
|
---|
50![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
|
---|