Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.

Show other versions (1)

Bibliographic Details
Main Author:	Huth, Michael, 1962-
Other Authors:	Ryan, Mark, 1962-
Language:	English
Published:	Cambridge, UK ; New York : Cambridge University Press, 2004.
Edition:	Second edition.
Subjects:	Computer logic. Logic programming. Logique informatique.
Online Access:	Connect to: Table of contents - All users (Cataloging @ Library of Congress)
Physical Description:	xiv, 427 pages : illustrations ; 25 cm
Format:	Book

Similar Items

Logic in computer science modelling and reasoning about systems
by: Huth, Michael, 1962-
Published: (2004)

Arithmetic and logic in computer systems
by: Lu, Mi
Published: (2004)

Logic programming and soft computing
Published: (1998)

Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil
Published: (1999)

Discrete structures, logic, and computability
by: Hein, James L.
Published: (2010)

Programming logic and design : comprehensive
by: Farrell, Joyce
Published: (2002)

Lectures on the logic of computer programming
by: Manna, Zohar
Published: (1980)

Handbook of practical logic and automated reasoning
by: Harrison, J. (John), 1966-
Published: (2009)

Parallel logic programming
by: Takeuchi, Akikazu, 1953-
Published: (1992)

Logic programming : systematic program development
by: Deville, Yves, 1960-
Published: (1990)

Computer architecture and logic design
by: Bartee, Thomas C.
Published: (1991)

Advances in logic programming and automated reasoning
Published: (1992)

Constraint logic programming : selected research
Published: (1993)

Loop checking in logic programming
by: Bol, R. N. (Roland N.)
Published: (1995)

Meta-programming in logic programming
Published: (1989)

ACM transactions on computational logic.
Published: (2000)

Essentials of logic programming
by: Hogger, Christopher John
Published: (1990)

Logic programming
Published: (1982)

Foundations of equational logic programming
by: Hölldobler, Steffen, 1957-
Published: (1989)

Handbook of logic in artificial intelligence and logic programming
Published: (1993)

Applications of logic to advanced digital computer programming : notes for an intensive course for the engineer and scientist, 1957 summer session.
Published: (1957)

The Logic programming paradigm : a 25-year perspective
Published: (1999)

The logical basis for computer programming
by: Manna, Zohar
Published: (1985)

Algebraic and logic programming : international workshop, Gaussing, GDR, November 14-18, 1988 : proceedings
Published: (1988)

Introductory logic and sets for computer scientists
by: Nissanke, Nimal
Published: (1999)

Declarative logic programming : theory, systems, and applications
Published: (2018)

Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985
Published: (1986)

Logic programming : proceedings of the Joint International Conference and Symposium on Logic Programming
Published: (1992)

Foundations of logic programming
by: Lloyd, J. W. (John Wylie), 1947-
Published: (1987)

Executing temporal logic programs
by: Moszkowski, B. C.
Published: (1986)

Introduction to logic programming
by: Hogger, Christopher John
Published: (1984)

Temporal logic of programs
by: Kröger, Fred, 1945-
Published: (1987)

Logic and logic grammars for language processing
Published: (1990)

The temporal logic of reactive and concurrent systems
by: Manna, Zohar
Published: (1992)

Logic programming : proceedings of the seventh international conference
Published: (1990)

Logic programming : proceedings of the 1991 international symposium
Published: (1991)

Logic programming : proceedings of the sixth international conference
Published: (1989)

Logic programming : proceedings of the fourth international conference
Published: (1987)

Temporal logics and their applications
Published: (1987)

Logic programming and knowledge engineering
by: Amble, Tore, 1945-
Published: (1987)