Cover Image

PROLOG for Computer Science /

Prolog is important as one of the major programming languages. Beginning with a chapter on logic (which makes the book particularly useful to undergraduate students), Prolog for Computer Science provides a comprehensive tutorial that assumes no prior knowledge of programming. There are lots of reali...

Full description

Bibliographic Details
Main Author:	Dawe, M. S.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Dawe, C. M.
Format:	eBook
Language:	English
Published:	London : Springer London, 1994.
Subjects:	Computer science. Logic design. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Computational Logic : Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29-August 10, 1997 /
by: Berger, Ulrich
Published: (1999)

Deontic logic, agency and normative systems ΔEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996 /
by: Brown, Mark A.
Published: (1996)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993 /
by: Deville, Yves
Published: (1994)

Temporal Logic of Programs /
by: Kröger, Fred
Published: (1987)

Verification of Sequential and Concurrent Programs /
by: Apt, Krzysztof R.
Published: (1997)

Beauty Is Our Business : a Birthday Salute to Edsger W. Dijkstra /
by: Feijen, W. H. J.
Published: (1990)

Logic of Programming and Calculi of Discrete Design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /
by: Broy, Manfred
Published: (1987)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 /
by: Clement, Timothy Paul
Published: (1992)

Modal and Temporal Properties of Processes /
by: Stirling, Colin
Published: (2001)

Advanced Topics in Term Rewriting /
by: Ohlebusch, Enno
Published: (2002)

Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement /
by: Broy, Manfred
Published: (2001)

Predicate Calculus and Program Semantics /
by: Dijkstra, Edsger W.
Published: (1990)

Programming in Prolog /
by: Clocksin, William F.
Published: (1984)

Digital Circuit Design for Computer Science Students : an Introductory Textbook /
by: Wirth, Niklaus
Published: (1995)

Mathematical Foundations of Programming Language Semantics : 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987. Proceedings /
by: Main, Michael
Published: (1988)

Extensional Constructs in Intensional Type Theory /
by: Hofmann, Martin
Published: (1997)

CONCUR'93 : 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings /
by: Best, Eike
Published: (1993)

Current Trends in Concurrency : Overviews and Tutorials /
by: Bakker, Jacobus W. de
Published: (1986)

Mathematical Foundation of Programming Semantics : International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings /
by: Melton, Austin
Published: (1986)

Understanding formal methods /
by: Monin, Jean-François
Published: (2003)

Logics of Programs : Brooklyn, June 17-19, 1985 /
by: Parikh, Rohit
Published: (1985)

Computing in Horn Clause Theories /
by: Padawitz, Peter
Published: (1988)

Iteration Theories : the Equational Logic of Iterative Processes /
by: Bloom, Stephen L.
Published: (1993)

First-Order Programming Theories /
by: Gergely, T. (Tamás)
Published: (1991)

Computability /
by: Weihrauch, Klaus
Published: (1987)

Verification of Sequential and Concurrent Programs /
by: Apt, Krzysztof R.
Published: (1991)

Algebraic Methodology and Software Technology (AMAST'93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, the Netherlands 21-25 June 1993 /
by: Nivat, M.
Published: (1994)

Data Types and Persistence /
by: Atkinson, M. P.
Published: (1988)

LISP, Lore, and Logic : an Algebraic View of LISP Programming, Foundations, and Applications /
by: Stark, W. Richard
Published: (1990)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 /
by: Lau, Kung-Kiu
Published: (1993)

Z User Workshop, London 1992 : Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992 /
by: Bowen, J. P.
Published: (1993)

Industrial-Strength Formal Methods in Practice /
by: Hinchey, Michael G.
Published: (1999)

TAPSOFT '87 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 /
Published: (1987)

Programming and Mathematical Method : International Summer School /
by: Broy, Manfred
Published: (1992)

Duration Calculus : A Formal Approach to Real-Time Systems /
by: Chaochen, Zhou
Published: (2004)

Fairness /
by: Francez, Nissim
Published: (1986)

Specification of Software Systems /
by: Alagar, Vangalur S., 1940-
Published: (1998)

Essentials of Constraint Programming /
by: Frühwirth, Thom
Published: (2003)

Algebraic Specifications in Software Engineering : an Introduction /
by: Horebeek, Ivo
Published: (1989)

ALPUK92 : Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992 /
by: Broda, Krysia
Published: (1993)