Loading...

QR Code

Logic in computer science Modelling and reasoning about systems /

other_versions_link

Bibliographic Details
Main Author:	Huth, Michael
Other Authors:	Ryan , Mark
Language:	Undetermined
Published:	Cambridge Univeristy Press , 2004.
Edition:	2nd ed.
Subjects:	Computer Science Ethics

Similar Items

Logic in computer science: Modelling and reasoning about systems
by: Huth, Michael
Published: (2005)

Logic in computer science: modelling and reasoning about systems/
by: Huth, Michael
Published: (2005)

Logic In Computer Science /
by: Huth, Michael .
Published: (2004)

Computer science logic /
Published: (2003)

Computer ethics /
by: Johnson, Deborah G
Published: (2001)

Logics for computer science
by: Singh, Arindama
Published: (2004)

Logic for computer science : foundations of automatic theorem proving /
by: Gallier, Jean H.
Published: (1986)

The logic of the moral sciences /
by: Mill, John Stuart
Published: (1987)

The logic of the moral sciences/
by: Mill J S
Published: (1987)

Handbook of information and computer ethics
by: Himma, Kenneth Einar
Published: (2008)

Handbook of logic and proof techniques for computer science
by: karntz, Steven G
Published: (2002)

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

ACM transactions on computational logic

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

Encyclopaedia of ethics and logic (v.8 : the science of logic)
by: John H Piet (ed.)
Published: (2000)

Computer logic
by: Ros, Alan
Published: (1971)

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

Algebraic and logic programming
by: Hanus, Michael
Published: (1996)

Experiments in logic and computer design
by: Teng, Albert Y
Published: (1984)

Fundamentals of Computing 1: logic, problem solving, programs, and computers /
by: Tucker, Allen B .
Published: (1995)

Computer logic design
by: Mano, M Morris
Published: (1972)

Computer science and scientific computing
by: James M.Ortega
Published: (1976)

Encyclopaedia of ethics and logic (v.6 : the history of logic)
by: John H Piet (ed.)
Published: (2000)

Encyclopaedia of ethics and logic (v.7 : formal logic)
by: John H Piet (ed.)
Published: (2000)

Encyclopaedia of ethics and logic (v.10 : logic and mathematics)
by: John H Piet (ed.)
Published: (2000)

Fundamentals of computer engineering, logic, design and microprocessors
by: Lam, Herman
Published: (1988)

Encyclopaedia of ethics and logic (v.9 : the language and grammar of logic)
by: John H Piet (ed.)
Published: (2000)

Computer machinery computer science education
Published: (1989)

Computer logic; the functional design of digital computers.
by: Flores, Ivan
Published: (1960)

Encyclopedia of computer science.
Published: (2000)

Introduction to computer science
by: Katzan, Harry
Published: (1975)

Computer science and scientific computing
by: Ortega, James M
Published: (1976)

Encyclopaedia of ethics and logic: the history of logic
Published: (2000)

Encyclopaedia of ethics and logic: formal logic
Published: (2000)

Encyclopaedia of ethics and logic: the sience of logic
Published: (2000)

Encyclopaedia of ethics and logic: logic and mathematics
Published: (2000)

Computer science and scientific computing
by: Ortega, James M
Published: (1976)

Introduction to computers: Fundamentals of computer science
by: Subramanian, N
Published: (1988)

Introduction to computers: fundamentals of computer science /
by: Subramanian, N .
Published: (1986)

Computer logic : design principles and applications /
by: Hsu, John Y.
Published: (2011)