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: Bertot reset filtrov +
Autor: Bertot Interactive Theorem Proving and Program Development Bertot 2004 Theorem Proving in Higher Order Logics Bertot 1999 2 knižných titulov