Cărți de Uwe Egly

Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8561

Editat de Carsten Sinz et al.

4 aug 2014

Preț: 335^.57 lei 419^.46 lei

6-8 săpt.

-20%

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings

Lecture Notes in Computer Science, nr. 2381

Editat de Uwe Egly et al.

17 iul 2002

Preț: 341^.44 lei 426^.80 lei

6-8 săpt.

-20%