Christoph Benzmüller

Christoph Benzmüller

Automated Reasoning

Lecture Notes in Computer Science, nr. 14739

Editat de Christoph Benzmüller et al.

2 iul 2024

Preț: 295^.84 lei 369^.80 lei

38-44 zile

-20%

KI 2019: Advances in Artificial Intelligence

Lecture Notes in Computer Science, nr. 11793

Editat de Christoph Benzmüller et al.

24 aug 2019

Preț: 435^.36 lei 544^.20 lei

43-57 zile

-20%

On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit: Kurt Gödel essay competition 2021 – Kurt-Gödel-Preis 2021

Editat de Oliver Passon et al.

23 aug 2023

Preț: 229^.83 lei

38-44 zile

Reasoning in Simple Type Theory

Editat de Christoph Benzmüller et al.

dec 2008

Preț: 264^.71 lei

43-57 zile

Intelligent Computer Mathematics

Lecture Notes in Computer Science, nr. 12236

Editat de Christoph Benzmüller et al.

18 iul 2020

Preț: 324^.82 lei 406^.03 lei

43-57 zile

-20%

Rules and Reasoning

Lecture Notes in Computer Science, nr. 11092

Editat de Christoph Benzmüller et al.

24 aug 2018

Preț: 324^.82 lei 406^.03 lei

43-57 zile

-20%

Wider den Reduktionismus: Ausgewählte Beiträge zum Kurt Gödel Preis 2019

Editat de Oliver Passon et al.

15 iun 2021

Preț: 265^.13 lei

43-57 zile