تحميل...

QR رمز

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