লোডিং...

কিউআর কোড

Logic for computer science : foundations of automatic theorem proving /

other_versions_link

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	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)