default search action
2nd ALPUK 1990: Bristol
- Derek R. Brough:
Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990. Intellect Books and Kluwer Academic Publishers 1992, ISBN 1-871516-25-0 - Edward Babb:
Metalevel and Constraint Technology in a Pure Logic Language. ALPUK 1990: 1-21 - Paul Brna, Alan Bundy, Helen Pain:
A framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs. ALPUK 1990: 22-55 - Andrew Casson:
Event Abstraction Debuggers for Layered Systems in Prolog. ALPUK 1990: 56-74 - Subrata Kumar Das, M. Howard Williams:
Extending the Integrity Maintenance Capability in Deductive Databases. ALPUK 1990: 75-111 - Yves Deville, Pascal Van Hentenryck:
Construction of CLP Programs. ALPUK 1990: 112-135 - Phil W. Grant, C. P. Jobling, C. Rezvani:
Some Control Engineering Applications of Prolog. ALPUK 1990: 136-158 - Keith Harrison:
GAP: An Exercise in Model Oriented Programming. ALPUK 1990: 159-172 - Ron Knott:
Using Prolog to Animate Mathematics. ALPUK 1990: 173-188 - Chris Mellish:
Term-Encodable Description Spaces. ALPUK 1990: 189-207 - Chris Moss:
Logic, Language and the Quest for Intelligence. ALPUK 1990: 208-226 - S. M. S. Syed-Mustaffa:
A Model for OR-Parallel Prolog Execution using Graph Reduction. ALPUK 1990: 227-252 - Hamish Taylor:
Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic Programming. ALPUK 1990: 253-281 - Jiwei Wang, Simon H. Lavington:
The Wivenhoe Computational Model: In Search of More Parallelisms. ALPUK 1990: 282-310
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-19 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: