Kategória: Jazyk: Všetky jazyky Anglický Slovenský Český Zoradiť podľa: najnovšie autor A – Z autor Z – A názov A – Z názov Z – A zobraziť iba dostupné zobraziť iba použité Autor: Kamareddine reset filtrov +
Autor: Kamareddine Thirty Five Years of Automating Mathematics Kamareddine 2004 A Modern Perspective on Type Theory Kamareddine 2004 2 knižných titulov