Tobias Nipkow
Artículos populares por Tobias Nipkow
Ver todas las ofertas-
Isabelle/HOL: A Proof Assistant for Higher-Order Logic: 2283 (Lecture Notes in Computer Science)
Nipkow, Tobias
Precios de los artículos a partir de
Ver 17 ofertasEUR 18,44
-
Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings: 1379 (Lecture Notes in Computer Science)
Nipkow, Tobias
Precios de los artículos a partir de
Ver 13 ofertasEUR 42,59
