Загрузка...

QR Code (код быстрого отклика)

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, et al.
Опубликовано: (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)