MARKE

Tobias Nipkow

Aktuelle Produkte und gemeldete Gesamtkosten für Tobias Nipkow bei Preiskarussel vergleichen.

1. Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science, 1379, Band 1379)ab 53,49 €
2. Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806, Band 806)ab 53,49 €
3. Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science, 2083, Band 2083)ab 106,99 €
4. Concrete Semantics: With Isabelle/HOLab 57,16 €
5. Concrete Semantics: With Isabelle/HOLab 78,21 €