Term Rewriting and All That
Autor Franz Baader et al.
4 aug 1999
Paperback
Preț: 393.88 lei 492.35 lei
6-8 săpt.
-20%
Cărți de Tobias Nipkow
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
Editat de Stefan Berghofer et al.
4 aug 2009
Paperback
Preț: 331.30 lei 414.13 lei
6-8 săpt.
-20%
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Editat de Jan Heering et al.
28 iul 1994
Paperback
Preț: 322.93 lei 403.66 lei
6-8 săpt.
-20%
Isabelle/HOL
Autor Tobias Nipkow et al.
3 apr 2002
Paperback
Preț: 345.48 lei 431.85 lei
6-8 săpt.
-20%
Rewriting Techniques and Applications
Editat de Tobias Nipkow
11 mar 1998
Paperback
Preț: 324.24 lei 405.31 lei
6-8 săpt.
-20%
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
Editat de Henk Barendregt et al.
20 mai 1994
Paperback
Preț: 324.99 lei 406.23 lei
6-8 săpt.
-20%
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Editat de Jayadev Misra et al.
10 aug 2006
Paperback
Preț: 636.70 lei 795.87 lei
6-8 săpt.
-20%
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Editat de Rajeev Gore et al.
6 iun 2001
Paperback
Preț: 640.96 lei 801.20 lei
6-8 săpt.
-20%
Concrete Semantics
Autor Tobias Nipkow et al.
15 dec 2014
Hardback
Preț: 491.42 lei 614.27 lei
6-8 săpt.
-20%