Cărți de Viorica Sofronie-Stokkermans

Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6803

Editat de Nikolaj Bjørner et al.

12 iul 2011

Preț: 333^.68 lei 417^.09 lei

6-8 săpt.

-20%

Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6989

Editat de Cesare Tinelli et al.

23 sep 2011

Preț: 401^.15 lei 501^.44 lei

6-8 săpt.

-20%

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II

Lecture Notes in Computer Science, nr. 12167

Editat de Nicolas Peltier et al.

30 iun 2020

Preț: 467^.57 lei 584^.46 lei

6-8 săpt.

-20%