Automated Reasoning with Analytic Tableaux and Related Methods
Editat de Uwe Egly et al.
17 iul 2002
Paperback
Preț: 336.36 lei 420.46 lei
6-8 săpt.
-20%
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
Editat de Carsten Sinz et al.
4 aug 2014
Paperback
Preț: 328.29 lei 410.37 lei
6-8 săpt.
-20%