Nalaganje...

QR koda

A computational logic handbook

Bibliografske podrobnosti
Glavni avtor:	Robert S Boyer,J Strother Moore
Format:	Printed Book
Jezik:	English
Izdano:	Academic Press 1988

Podobne knjige/članki

Computability and Logic /
od: Boolos, George S
Izdano: (2007)

Computability and logic /
od: Boolos, George S.
Izdano: (2002)

Computability and logic /
od: Boolos, George
Izdano: (1974)

Computer Logic
od: Rose, Alan
Izdano: (1971)

Computer logic
od: Ros, Alan
Izdano: (1971)

Computability And Logic
od: Boolos, George S
Izdano: (1989)

Computational logic
od: Berger, Ulrich
Izdano: (1999)

Computational logic (proceedings)
od: J W Lloyd
Izdano: (1990)

From Logic to computers
od: Thewlis,P.J

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

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

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

Mathematical logic and computability /
od: Keisler, H. Jerome
Izdano: (1996)

Logics for computer science
od: Singh, Arindama
Izdano: (2004)

The Logic of Computer Arithmetic
od: Flores,Ivan
Izdano: (1963)

Computer logic design /
od: Mano,Morris.M
Izdano: (1972)

Logic In Computer Science
od: Michell Hutch, Mark Ryan
Izdano: (2004)

Logics for computer science
od: Arindama Singh
Izdano: (2003)

Logic for computer science
od: Reeves, Steve

Computer logic design
od: Mano, M Morris
Izdano: (1972)

Combinatorics,Computability and Logic /
Izdano: (2001)

Logic In Computer Science /
od: Huth, Michael .
Izdano: (2004)

The cultural logic of computation /
od: Golumbia, David
Izdano: (2009)

Computer science logic /
Izdano: (2003)

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

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

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

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

Discrete Structures,Logic,and Computability
od: Hein,James J.
Izdano: (2010)

Mathematical Logic ( Handbook of )/
od: Barwise ,Jon ,Ed
Izdano: (2006)

Handbook of logic circuits
od: Lenk, John D
Izdano: (1972)

Handbook of the history of logic
od: Gabbay, Dov M
Izdano: (2006)

Handbook of mathematical logic
od: Barwise, Jon
Izdano: (2006)

Logic
od: Baum, Robert
Izdano: (1975)

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

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

Logic /
od: Baum, Robert
Izdano: (1975)

time and logic a computational approach
od: leonard bolc,andrzej szalas
Izdano: (1995)

Computational intelligence: a logical approach /
od: Pole, David
Izdano: (1998)

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