Cărți de Uwe Egly

Automated Reasoning with Analytic Tableaux and Related Methods

Editat de Uwe Egly et al.

17 iul 2002

Preț: 337^.41 lei 421^.76 lei

6-8 săpt.

-20%

Theory and Applications of Satisfiability Testing - SAT 2014

Lecture Notes in Computer Science, nr. 8561

Editat de Carsten Sinz et al.

4 aug 2014

Preț: 331^.16 lei 413^.95 lei

6-8 săpt.

-20%