Llwytho...

Côd QR

A computational logic handbook

Manylion Llyfryddiaeth
Prif Awdur:	Robert S Boyer,J Strother Moore
Fformat:	Printed Book
Iaith:	English
Cyhoeddwyd:	Academic Press 1988

Eitemau Tebyg

Computability and Logic /
gan: Boolos, George S
Cyhoeddwyd: (2007)

Computability and logic /
gan: Boolos, George S.
Cyhoeddwyd: (2002)

Computability and logic /
gan: Boolos, George
Cyhoeddwyd: (1974)

Computer Logic
gan: Rose, Alan
Cyhoeddwyd: (1971)

Computer logic
gan: Ros, Alan
Cyhoeddwyd: (1971)

Computability And Logic
gan: Boolos, George S
Cyhoeddwyd: (1989)

Computational logic
gan: Berger, Ulrich
Cyhoeddwyd: (1999)

Computational logic (proceedings)
gan: J W Lloyd
Cyhoeddwyd: (1990)

From Logic to computers
gan: Thewlis,P.J

Handbook of logic : a concise body of logical doctrine/
gan: Jno J Tigert
Cyhoeddwyd: (2006)

Logic: A computer approach
gan: Schagrin,Morton.L

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

Mathematical logic and computability /
gan: Keisler, H. Jerome
Cyhoeddwyd: (1996)

Logics for computer science
gan: Singh, Arindama
Cyhoeddwyd: (2004)

The Logic of Computer Arithmetic
gan: Flores,Ivan
Cyhoeddwyd: (1963)

Computer logic design /
gan: Mano,Morris.M
Cyhoeddwyd: (1972)

Logic In Computer Science
gan: Michell Hutch, Mark Ryan
Cyhoeddwyd: (2004)

Logics for computer science
gan: Arindama Singh
Cyhoeddwyd: (2003)

Logic for computer science
gan: Reeves, Steve

Computer logic design
gan: Mano, M Morris
Cyhoeddwyd: (1972)

Combinatorics,Computability and Logic /
Cyhoeddwyd: (2001)

Logic In Computer Science /
gan: Huth, Michael .
Cyhoeddwyd: (2004)

The cultural logic of computation /
gan: Golumbia, David
Cyhoeddwyd: (2009)

Computer science logic /
Cyhoeddwyd: (2003)

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

Handbook of logic and proof techniques for computer science /
gan: Krantz, Steven G.
Cyhoeddwyd: (2002)

Handbook of logic in computer science- 2 vol.
gan: S Abramsky
Cyhoeddwyd: (1992)

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

Discrete Structures,Logic,and Computability
gan: Hein,James J.
Cyhoeddwyd: (2010)

Mathematical Logic ( Handbook of )/
gan: Barwise ,Jon ,Ed
Cyhoeddwyd: (2006)

Handbook of logic circuits
gan: Lenk, John D
Cyhoeddwyd: (1972)

Handbook of the history of logic
gan: Gabbay, Dov M
Cyhoeddwyd: (2006)

Handbook of mathematical logic
gan: Barwise, Jon
Cyhoeddwyd: (2006)

Logic
gan: Baum, Robert
Cyhoeddwyd: (1975)

Computational logic and human thinking how to be artificially intelligent
gan: Kowalski, Robert
Cyhoeddwyd: (2011)

Computational logic and human thinking : how to be artificially intelligent /
gan: Kowalski, Robert
Cyhoeddwyd: (2011)

Logic /
gan: Baum, Robert
Cyhoeddwyd: (1975)

time and logic a computational approach
gan: leonard bolc,andrzej szalas
Cyhoeddwyd: (1995)

Computational intelligence: a logical approach /
gan: Pole, David
Cyhoeddwyd: (1998)

Computer logic: a laboratory manual
gan: Enke, C G