Christoph Benzmüller

Filtre:

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-45 zile

-20%

Reasoning in Simple Type Theory

Editat de Christoph Benzmüller et al.

dec 2008

Preț: 264^.71 lei

6-8 săpt.

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

6-8 săpt.

-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

6-8 săpt.

-20%

Wider den Reduktionismus

Editat de Oliver Passon et al.

15 iun 2021

Preț: 266^.99 lei

6-8 săpt.