Logic for computer science :

ग्रंथसूची विवरण
मुख्य लेखक:	Gallier, Jean H.
स्वरूप:	Printed Book
भाषा:	English
प्रकाशित:	New York, NY : Harper & Row, c1986.
विषय:	Computer science

लोड हो रहा है...

Logic for computer science: foundations of automatic theorem proving
द्वारा: Gallier, Jean H; Author
प्रकाशित: (1987)

लोड हो रहा है...

Logic for computer science : foundations of automatic theorem proving /
द्वारा: Gallier, Jean H.
प्रकाशित: (2015)

लोड हो रहा है...

Logic for computer science : Foundations of Automatic Theorem proving/
द्वारा: Gallier, Jean H.
प्रकाशित: (1987)

लोड हो रहा है...

Logic For Computer Science: Foundations Of Automatic Theorem Proving
द्वारा: Gallier, Jean H
प्रकाशित: (1987)

लोड हो रहा है...

Logic In Computer Science /
द्वारा: Huth, Michael .
प्रकाशित: (2004)

लोड हो रहा है...

Computer science logic /
प्रकाशित: (2003)

लोड हो रहा है...

Logics for computer science
द्वारा: Singh, Arindama
प्रकाशित: (2004)

लोड हो रहा है...

Symbolic, logic and mechanical theorem proving
द्वारा: Chang, Chin-Liang
प्रकाशित: (1973)

लोड हो रहा है...

Logic in computer science Modelling and reasoning about systems /
द्वारा: Huth, Michael
प्रकाशित: (2004)

लोड हो रहा है...

Higher order logic theorem proving and its applications
प्रकाशित: (1993)

लोड हो रहा है...

Handbook of logic and proof techniques for computer science
द्वारा: karntz, Steven G
प्रकाशित: (2002)

लोड हो रहा है...

ACM transactions on computational logic

लोड हो रहा है...

Computer architecture and logic design /
द्वारा: Bartee,, Thomas C.
प्रकाशित: (1991)

लोड हो रहा है...

Computer architecture and logic design /
द्वारा: Bartee, Thomas C.
प्रकाशित: (1991)

लोड हो रहा है...

Logic in computer science: Modelling and reasoning about systems
द्वारा: Huth, Michael
प्रकाशित: (2005)

लोड हो रहा है...

Foundations of computer science/
द्वारा: Ebad, Ryhan
प्रकाशित: (2013)

लोड हो रहा है...

Computer logic
द्वारा: Ros, Alan
प्रकाशित: (1971)

लोड हो रहा है...

Discrete structures, logic and computability
द्वारा: Hein, James L.
प्रकाशित: (2010)

लोड हो रहा है...

Introduction to computer science An algorithmic approach /
द्वारा: Tremblay, Jean-paul
प्रकाशित: (1989)

लोड हो रहा है...

Experiments in logic and computer design
द्वारा: Teng, Albert Y
प्रकाशित: (1984)

लोड हो रहा है...

Mathematical foundations of computer science
द्वारा: Blikle, A
प्रकाशित: (1974)

लोड हो रहा है...

Mathematical foundations of computer science
द्वारा: Bathul, Shahnaz
प्रकाशित: (2016)

लोड हो रहा है...

Fundamentals of Computing 1: logic, problem solving, programs, and computers /
द्वारा: Tucker, Allen B .
प्रकाशित: (1995)

लोड हो रहा है...

Computer logic design
द्वारा: Mano, M Morris
प्रकाशित: (1972)

लोड हो रहा है...

Logic in computer science: modelling and reasoning about systems/
द्वारा: Huth, Michael
प्रकाशित: (2005)

लोड हो रहा है...

Computer science and scientific computing
द्वारा: James M.Ortega
प्रकाशित: (1976)

लोड हो रहा है...

Introduction to computer science: an algorithmic approach /
द्वारा: Tremblay, Jean-Paul .
प्रकाशित: (1981)

लोड हो रहा है...

Foundations of software science and computation structures /
द्वारा: Nielsen, Mogens
प्रकाशित: (2002)

लोड हो रहा है...

Mathematical foundations of computer science 1999
द्वारा: Kutylowski, Miroslaw, et al
प्रकाशित: (1999)

लोड हो रहा है...

Fundamentals of computer engineering, logic, design and microprocessors
द्वारा: Lam, Herman
प्रकाशित: (1988)

लोड हो रहा है...

Computer machinery computer science education
प्रकाशित: (1989)

लोड हो रहा है...

Computer logic; the functional design of digital computers.
द्वारा: Flores, Ivan
प्रकाशित: (1960)

लोड हो रहा है...

Encyclopedia of computer science.
प्रकाशित: (2000)

लोड हो रहा है...

Introduction to computer science
द्वारा: Katzan, Harry
प्रकाशित: (1975)

लोड हो रहा है...

Logic and discrete mathematics: a computer science perspective
द्वारा: Grassmann, Winfried Karl; Author, और अन्य
प्रकाशित: (1996)

लोड हो रहा है...

Foundation of fuzzy logic and semantic web languages
द्वारा: Straccia, Umberto
प्रकाशित: (2014)

लोड हो रहा है...

Computer science and scientific computing
द्वारा: Ortega, James M
प्रकाशित: (1976)

लोड हो रहा है...

Concrete mathematics: a foundation for computer science
द्वारा: Graham, Ronald L, et al
प्रकाशित: (2002)

लोड हो रहा है...

Computer science and scientific computing
द्वारा: Ortega, James M
प्रकाशित: (1976)

लोड हो रहा है...

Introduction to computers: fundamentals of computer science /
द्वारा: Subramanian, N .
प्रकाशित: (1986)

Logic for computer science : foundations of automatic theorem proving /

समान संसाधन

समान संसाधन