Tobias Nipkow

Term Rewriting and All That

Tobias Nipkow

$67.89

Concrete Semantics: With Isabelle/Hol

Tobias Nipkow

$59.78 - $84.99

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)

Tobias Nipkow

$48.59 - $59.99

Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science)

Tobias Nipkow

$60.03

Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science)

Tobias Nipkow

$60.03