Author books / Книги автора Gilles Dowek (auth.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Gilles Dowek (auth.)

book Proofs and Algorithms: An Introduction to Logic and Computability

Proofs and Algorithms: An Introduction to Logic and Computability

pdf

Author: Gilles Dowek (auth.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Proofs and algorithms: An introduction to logic and computability

Proofs and algorithms: An introduction to logic and computability

pdf

Author: Gilles Dowek (auth.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Proofs and Algorithms: An Introduction to Logic and Computability

Proofs and Algorithms: An Introduction to Logic and Computability

pdf

Author: Gilles Dowek (auth.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

pdf

Author: Gilles Dowek (auth.) Robert Nieuwenhuis (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Automated Deduction in Classical and Non-Classical Logics: Selected Papers

Automated Deduction in Classical and Non-Classical Logics: Selected Papers

pdf

Author: Gilles Dowek (auth.) Ricardo Caferra Gernot Salzer (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Principles of Programming Languages

Principles of Programming Languages

pdf

Author: Gilles Dowek (auth.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Principles of programming languages

Principles of programming languages

pdf

Author: Gilles Dowek (auth.)
Language: English
Year: 2009

00

26.01.2024

0

0