טוען...

QR Code

A computational logic handbook

מידע ביבליוגרפי
מחבר ראשי:	Robert S Boyer,J Strother Moore
פורמט:	Printed Book
שפה:	English
יצא לאור:	Academic Press 1988

פריטים דומים

Computability and Logic /
מאת: Boolos, George S
יצא לאור: (2007)

Computability and logic /
מאת: Boolos, George S.
יצא לאור: (2002)

Computability and logic /
מאת: Boolos, George
יצא לאור: (1974)

Computer Logic
מאת: Rose, Alan
יצא לאור: (1971)

Computer logic
מאת: Ros, Alan
יצא לאור: (1971)

Computability And Logic
מאת: Boolos, George S
יצא לאור: (1989)

Computational logic
מאת: Berger, Ulrich
יצא לאור: (1999)

Computational logic (proceedings)
מאת: J W Lloyd
יצא לאור: (1990)

From Logic to computers
מאת: Thewlis,P.J

Handbook of logic : a concise body of logical doctrine/
מאת: Jno J Tigert
יצא לאור: (2006)

Logic: A computer approach
מאת: Schagrin,Morton.L

Computer logic; the functional design of digital computers.
מאת: Flores, Ivan
יצא לאור: (1960)

Mathematical logic and computability /
מאת: Keisler, H. Jerome
יצא לאור: (1996)

Logics for computer science
מאת: Singh, Arindama
יצא לאור: (2004)

The Logic of Computer Arithmetic
מאת: Flores,Ivan
יצא לאור: (1963)

Computer logic design /
מאת: Mano,Morris.M
יצא לאור: (1972)

Logic In Computer Science
מאת: Michell Hutch, Mark Ryan
יצא לאור: (2004)

Logics for computer science
מאת: Arindama Singh
יצא לאור: (2003)

Logic for computer science
מאת: Reeves, Steve

Computer logic design
מאת: Mano, M Morris
יצא לאור: (1972)

Combinatorics,Computability and Logic /
יצא לאור: (2001)

Logic In Computer Science /
מאת: Huth, Michael .
יצא לאור: (2004)

The cultural logic of computation /
מאת: Golumbia, David
יצא לאור: (2009)

Computer science logic /
יצא לאור: (2003)

Computer logic : design principles and applications /
מאת: Hsu, John Y.
יצא לאור: (2011)

Handbook of logic and proof techniques for computer science /
מאת: Krantz, Steven G.
יצא לאור: (2002)

Handbook of logic in computer science- 2 vol.
מאת: S Abramsky
יצא לאור: (1992)

Handbook of logic and proof techniques for computer science
מאת: karntz, Steven G
יצא לאור: (2002)

Discrete Structures,Logic,and Computability
מאת: Hein,James J.
יצא לאור: (2010)

Mathematical Logic ( Handbook of )/
מאת: Barwise ,Jon ,Ed
יצא לאור: (2006)

Handbook of logic circuits
מאת: Lenk, John D
יצא לאור: (1972)

Handbook of the history of logic
מאת: Gabbay, Dov M
יצא לאור: (2006)

Handbook of mathematical logic
מאת: Barwise, Jon
יצא לאור: (2006)

Logic
מאת: Baum, Robert
יצא לאור: (1975)

Computational logic and human thinking how to be artificially intelligent
מאת: Kowalski, Robert
יצא לאור: (2011)

Computational logic and human thinking : how to be artificially intelligent /
מאת: Kowalski, Robert
יצא לאור: (2011)

Logic /
מאת: Baum, Robert
יצא לאור: (1975)

time and logic a computational approach
מאת: leonard bolc,andrzej szalas
יצא לאור: (1995)

Computational intelligence: a logical approach /
מאת: Pole, David
יצא לאור: (1998)

Computer logic: a laboratory manual
מאת: Enke, C G