Cărți de Didier Galmiche

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10900

Editat de Didier Galmiche et al.

iul 2018

Preț: 354^.49 lei 443^.11 lei

43-57 zile

-20%

Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8123

Editat de Didier Galmiche et al.

21 aug 2013

Preț: 304^.10 lei 380^.13 lei

43-57 zile

-20%

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings

Lecture Notes in Computer Science, nr. 1227

Editat de Didier Galmiche

29 apr 1997

Preț: 337^.20 lei 421^.49 lei

43-57 zile

-20%