Cărți de Didier Galmiche

Automated Reasoning with Analytic Tableaux and Related Methods

Editat de Didier Galmiche

29 apr 1997

Preț: 326^.88 lei 408^.60 lei

43-57 zile

-20%

Automated Reasoning

Lecture Notes in Computer Science, nr. 10900

Editat de Didier Galmiche et al.

iul 2018

Preț: 344^.91 lei 431^.14 lei

43-57 zile

-20%

Automated Reasoning with Analytic Tableaux and Related Methods

Editat de Didier Galmiche et al.

21 aug 2013

Preț: 294^.73 lei 368^.41 lei

43-57 zile

-20%