Tobias Nipkow
Tobias Nipkow
4 ספרים במאגר
ספרים
Isabelle/HOLTobias Nipkow
Isabelle/HOL
Tobias Nipkow · 2002
Concrete SemanticsTobias Nipkow
Concrete Semantics
Tobias Nipkow · 2014
Rewriting Techniques and ApplicationsTobias Nipkow
Rewriting Techniques and Applications
Tobias Nipkow · 1998
Functional Data Structures and AlgorithmsTobias Nipkow
Functional Data Structures and Algorithms
Tobias Nipkow · 2025
ספרים משותפים ואוספים
ספרים שבהם Tobias Nipkow מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
