"Dowek G." скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Proofs and Algorithms: An Introduction to Logic and Computability

Категория: Математика, Прикладная математика

954 Kb

#2

Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)

Gilles Dowek, Jean-Jacques Lévy

Категория: Компьютеры

907 Kb

#3

Proofs and algorithms: An introduction to logic and computability

Dowek G.

Категория: Cs_Computer science, CsNp_Computability

944 Kb

#4

Introduction to the Theory of Programming Languages

Gilles Dowek, Jean-Jacques Lévy

798 Kb

#5

Les Métamorphoses du calcul: Une étonnante histoire des mathématiques

Gilles Dowek

3.64 Mb

#6

Proofs and Algorithms: An Introduction to Logic and Computability

Gilles Dowek

1.61 Mb

#7

Principles of programming languages

Gilles Dowek

1.95 Mb

#8

Theorem Proving in Higher Order Logics, 12 conf., TPHOLs'99

Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery

Категория: Cs_Computer science, CsLn_Lecture notes

3.53 Mb

#9

Principles of Programming Languages

Категория: Chemistry-Environmental-Material

9.72 Mb

#10

Automated Reasoning, 4 conf., IJCAR 2008

Alessandro Armando, Peter Baumgartner, Gilles Dowek

Категория: CsLn_

6.04 Mb

#11

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller

2.40 Mb