Author books / Книги автора Peter B. Andrews (auth.) Jörg H. Siekmann (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Peter B. Andrews (auth.) Jörg H. Siekmann (eds.)

book 8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings

8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings

pdf

Author: Peter B. Andrews (auth.) Jörg H. Siekmann (eds.)
Language: English
Year: 1986

00

27.01.2024

0

0

book An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

pdf

Author: Peter B. Andrews (auth.)
Language: English
Year: 2002

00

27.01.2024

1

0

book An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Computer Science & Applied Mathematics)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Computer Science & Applied Mathematics)

djvu

Author: Peter B. Andrews
Language: English
Year: 1986

00

27.01.2024

0

0

book A Transfinite Type Theory with Type Variables

A Transfinite Type Theory with Type Variables

pdf

Author: Peter Bruce Andrews
Language: English
Year: 1965

00

27.01.2024

0

0

book An Introduction to Mathematical Logic and Type Theory. To Truth Through Proof

An Introduction to Mathematical Logic and Type Theory. To Truth Through Proof

djvu

Author: Peter B. Andrews
Language: English
Year: 1986

00

27.01.2024

0

0

book 8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings

8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings

djvu

Author: Peter B. Andrews (auth.) Jörg H. Siekmann (eds.)
Language: English
Year: 1986

00

27.01.2024

0

0

book An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

djvu

Author: Peter B. Andrews
Language: English
Year: 1986

00

27.01.2024

1

0

book An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

rar

Author: Peter B. Andrews
Language: English
Year: 1986

00

27.01.2024

0

0

book Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings

Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings

djvu

Author: Peter B. Andrews Matthew Bishop (auth.) P. Miglioli U. Moscato D. Mundici M. Ornaghi (eds.)
Language: English
Year: 1996

00

26.01.2024

1

0

book A Transfinite Type Theory with Type Variables

A Transfinite Type Theory with Type Variables

djvu

Author: Peter B Andrews
Language: English
Year: 1965

00

26.01.2024

0

0