Filtre: Christoph Benzmüller

Lecture Notes in Artificial Intelligence

Automated Reasoning

Lecture Notes in Computer Science

Editat de Christoph Benzmüller et al.

2 iul 2024

Preț: 295^.50 lei 369^.37 lei

38-44 zile

-20%

Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12236

Editat de Christoph Benzmüller et al.

18 iul 2020

Preț: 322^.43 lei 403^.04 lei

6-8 săpt.

-20%

Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13040

Editat de Pietro Baroni et al.

15 oct 2021

Preț: 578^.83 lei 723^.54 lei

6-8 săpt.

-20%