Logic a foundation for computer science

Logic a foundation for computer science

Saved in:

Bibliographic Details
Main Authors:	Sperschneider, V. (Author), Antoniou, G. Grigorios (Author)
Format:	Book
Published:	Wokingham, England Reading, Mass. Addison-Wesley 1991
Series:	International computer science series
Subjects:	Artificial intelligence Computer science Logic, Symbolic and mathematical
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Vivid Logic Knowledge-Based Reasoning with Two Kinds of Negation
by: Wagner, G. 1957- Gerd
Published: (1994)

From natural language processing to logic for expert systems a logic based approach to artificial intelligence
Published: (1991)

Logic for computer science and artificial intelligence
by: Caferra, Ricardo 1945-
Published: (2011)

Handbook of logic in computer science logic and algebraic methods
Published: (2000)

Fork algebras in algebra, logic and computer science
by: Frias, Marcelo Fabian
Published: (2002)

Logic and algebra of specification
Published: (1993)

From standard logic to logic programming introducing a logic based approach to artificial intelligence
Published: (1988)

A friendly introduction to mathematical logic
by: Leary, Christopher C. 1957-
Published: (2000)

Computation as logic
by: Lalement, Rene
Published: (1993)

Logic for applications
by: Nerode, Anil 1932-
Published: (1993)

Logics in artificial intelligence proceedings of the ...held September 29 - October 2, 2000
Published: (2000)

Philosophical logic and artificial intelligence
Published: (1989)

Learning language in logic
Published: (2000)

An introduction to default logic
by: Besnard, Philippe
Published: (1989)

Logic
by: Tomassi, Paul
Published: (1999)

From symbolic logic-- to mathematical logic
by: Silver, Charles L
Published: (1994)

Logical forms an introduction to philosophical logic
by: Sainsbury, R. M (Richard Mark)
Published: (2001)

Symbolic logic
by: Copi, Irving M
Published: (1968)

Logic and structure
by: Dalen, D. va 1932- Dirk
Published: (2004)

Symbolic logic
by: Thomas, James A
Published: (1977)

Mathematical logic
by: Chiswell, Ian 1948-
Published: (2007)

Mathematical logic
by: Shoenfield, Joseph R
Published: (2001)

The Logical basis for computer programming
by: Manna, Zohar
Published: (1990)

Finite automata, formal logic, and circuit complexity
by: Straubing, Howard 1952-
Published: (1994)

Simply logical intelligent reasoning by example
by: Flach, Peter A
Published: (1994)

Mathematical logic applications and theory
by: Rubin, Jean E
Published: (1990)

Lectures on mathematical logic
by: Felscher, Walter
Published: (2000)

INTRODUCTION TO MATHEMATICAL LOGIC
by: Mendelson, Elliott
Published: (2010)

Logic, sets, and recursion
by: Causey, Robert L.
Published: (2001)

Introduction to Mathematical Logic
by: Mendelson, Elliott
Published: (1997)

What is mathematical logic?
Published: (1972)

Logic, sets, and recursion
by: Causey, Robert L.
Published: (2006)

An introduction to mathematical logic
by: Hodel, Richard E
Published: (1995)

Waht is mathematical logic?
Published: (1972)

Handbook of mathematical logic
Published: (1978)

Language, logic, and mathematics
by: Kilmister, C. W. Clive William
Published: (1967)

Understanding symbolic logic
by: Klenk, Virginia 1940-
Published: (1989)

Elements of symbolic logic
by: Reichenbach, Hans 1891-1953
Published: (1947)

A mathematical introduction to logic
by: Enderton, Herbert B
Published: (2001)

Mathematical logic for computer science
by: Lu, Chung-wan
Published: (1989)