Filtre: Engleză

Cărți de Martin Giese

Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5607

Editat de Martin Giese et al.

24 iun 2009

Preț: 324^.19 lei 405^.23 lei

6-8 săpt.

-20%

Rules and Reasoning: 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12173

Editat de Víctor Gutiérrez-Basulto et al.

19 aug 2020

Preț: 315^.31 lei 394^.14 lei

6-8 săpt.

-20%