Jens Brandt

ספרים שבהם Jens Brandt מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Theorem Proving in Higher Order LogicsKlaus Schneider

Theorem Proving in Higher Order Logics

Klaus Schneider · 2007

Weltliteratur auf dem IndexPeter Godman

Weltliteratur auf dem Index

Peter Godman · 2001