Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Markus Wenzel | lit.salon

Author

Markus Wenzel

5 works

2002–2020 across 3 dated works

No biography is available yet.

Start with

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)2002
With Tobias Nipkow, Lawrence C. Paulson
Gothaer Denkmäler und Gedenksteine2004
Der Weg in die Cloud : Ein Leitfaden für Unternehmer und Entscheider2020
With Dominic Lindner, Paul Niebler

Books

5 works

Featured (3)Featured (3)All (5)All (5)

Search booksSort books

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)2002
With Tobias Nipkow, Lawrence C. Paulson
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Gothaer Denkmäler und Gedenksteine2004
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Der Weg in die Cloud : Ein Leitfaden für Unternehmer und Entscheider2020
With Dominic Lindner, Paul Niebler
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Kettensteife Polymide mit flexiblen Seitenketten, Synthese und Charakterisierung des Phasenverhaltens1987
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Die In-vitro-Aktivität der Rattenpfortader gesunder und zirrhotischer Ratten unter besonderer Berücksichtigung des adrenergen Nervensystems1992
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Markus Wenzel.

The conversation is still open.

There is no public salon activity to show for Markus Wenzel yet.