363 citations found. Retrieving documents...
W.F. Clocksin and C.S. Mellish. (2000). Programming in PROLOG. fourth edition, Springer-Verlag.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:

First 50 documents  Next 50

A Survey of Search Methodologies and Automated Approaches.. - Qu, Burke, McCollum (2006)   (Correct)

No context found.

W.F. Clocksin and C.S. Mellish. (2000). Programming in PROLOG. fourth edition, Springer-Verlag.


Executing Temporal Logic Programs - Ben Moszkowski Address (1986)   (113 citations)  (Correct)

No context found.

W. F. Clocksin and C. S. Mellish. Programming in Prolog. Springer-Verlag, Berlin, 1981. 100


Theory Generation for Security Protocols - Kindred, Wing (1999)   (4 citations)  (Correct)

No context found.

W. F. Clocksin and C. S. Mellish. Programming in Prolog. Springer-Verlag, 1981.


A Logic-Based Concurrent Object-Oriented - Programming Language Rafael   (Correct)

No context found.

Clocksin W.F. and Mellish C.S. 1984. Programming in Prolog, Second Edition, Springer-Verlag, Berlin.


Efficient Relational Calculation for Software Analysis - Beyer, Noack, Lewerentz (2005)   (Correct)

No context found.

W.F. Clocksin and C.S. Mellish, Programming in Prolog, fifth ed. Springer-Verlag, 2003.


Declarative Routing: Extensible Routing with.. - Loo, Hellerstein.. (2005)   (Correct)

No context found.

W. F. Clocksin and C. S. Melish. Programming in Prolog. Springer-Verlag, 1987.


An Algebraic Semantics of Prolog Control - Ross (1992)   (1 citation)  (Correct)

No context found.

Clocksin, W.F. and C.S. Mellish (1981). Programming in Prolog. Springer-Verlag.


A π-calculus Semantics of Logical Variables and Unification - Ross (1993)   (Correct)

No context found.

W.F. Clocksin and C.S. Mellish. Programming in Prolog. Springer-Verlag, 1981.


Lexical Functional Grammar: Analysis and Implementation - Grantson (2001)   (Correct)

No context found.

Clocksin W, Mellish C., Programming in Prolog.1994, Springer


Declarative Languages in Education - Glaser, Hartel, Leuschel, Martin (2000)   (Correct)

No context found.

W. Clocksin and C. Mellish. Programming in Prolog (Third Edition). Springer-Verlag, 1987.


Type Inference in the Icon Programming Language* - Kenneth Walker And   (Correct)

No context found.

W. F. Clocksin and C. S. Mellish, Programming in Prolog, Springer-Verlag, New York, 1981.


Flexible Regulation of Distributed Coalitions - Ao, Minsky (2003)   (Correct)

No context found.

W.F. Clocksin and C.S. Mellish. Programming in Prolog. Springer-Verlag, 1981.


Combining Operational Semantics, Logic Programming and Literate.. - Bowen (2000)   (Correct)

No context found.

Clocksin, W.F. and Mellish C.S., Programming in PROLOG. Springer-Verlag, Berlin, 1994.


Lexical Functional Grammar: Analysis and Implementation - Grantson (2002)   (Correct)

No context found.

Clocksin W, Mellish C., Programming in Prolog.1994, Springer


Simple and Efficient Relational Querying of Software.. - Beyer, Noack, Lewerentz (2003)   (4 citations)  (Correct)

No context found.

W. F. Clocksin and C. S. Mellish. Programming in Prolog. Springer-Verlag, Berlin, 3rd edition, 1987.


Curriculum and Course Syllabi for a High-School Program in.. - Gal-Ezer, Harel   (Correct)

No context found.

Clocksin, W.F., and C.S. Mellich, Programming in Prolog , 2nd Edition, Prentice-Hall, 1984.


Sophia: An Information Plane for Networked Systems - Mike Wawrzoniak And (2003)   (17 citations)  (Correct)

No context found.

W. Clocksin and C. Mellish. Programming in Prolog. Springer Verlag, 1984.


A Model to Size the Development of Prolog Programs - Trevor Moores Department   (Correct)

No context found.

Clockshin, F.W. and Mellish, C.S. (1981) Programming in Prolog, Springer-Verlag.


Deploying Ontologies in Software Design - Kalfoglou (2000)   (Correct)

No context found.

W. Clocksin and C. Mellish. Programming in Prolog. Springer, 4th edition, 1994. ISBN 0-387-175393.


A Framework for Organisational Control Principles - Schaad (2003)   (Correct)

No context found.

Clocksin, W. and Mellish, C. (1996). Programming in Prolog. Springer, 4th edition.


Integration of External Object Services into Deductive.. - Kulkarni (2000)   (Correct)

No context found.

W. Clocksin and C. Mellish, \Programming in Prolog", Springer Verlag, 1987


Copyright 2003, Intel Corporation, All rights reserved. - Mike Wawrzoniak Larry   (Correct)

No context found.

W. Clocksin and C. Mellish. Programming in Prolog. Springer Verlag, 1984.


Gödel Machines: Self-Referential Universal Problem Solvers.. - Schmidhuber (2003)   (Correct)

No context found.

W.F. Clocksin and C.S. Mellish. Programming in Prolog (3rd ed.). Springer-Verlag, 1987.


Simple and Efficient Relational Querying of Software.. - Beyer, Noack, Lewerentz (2003)   (4 citations)  (Correct)

No context found.

W. F. Clocksin and C. S. Mellish. Programming in Prolog. Springer-Verlag, Berlin, 3rd edition, 1987.


Advanced Techniques for Logic Program Specialisation - Leuschel (1997)   (10 citations)  (Correct)

No context found.

W. Clocksin and C. Mellish. Programming in Prolog (Third Edition). Springer-Verlag, 1987.

First 50 documents  Next 50

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC