Bücher nach ISBN > Springer > Lennart Beringer

Lennart Beringer

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings978-3-642-32346-1
(3-642-32346-4)		2012Amy Felty

L B · Lennart Bernesjö · Leonard Bernstein

Lennart Bernadotte