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: Cialdea Mayer reset filtrov +
Autor: Cialdea Mayer Automated Reasoning with Analytic Tableaux and Related Methods Cialdea Mayer 2003 1 knižných titulov