Non abbiamo ancora una biografia di Jens Brandt.
Pubblicato in Inglese · Tedesco
Per saperne di più: Open Library (si apre in una nuova scheda)
Weltliteratur auf dem Index
2001
Theorem Proving in Higher Order Logics
2007
Otium