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: Gimenez reset filtrov +
Autor: Gimenez Science with Minisat 01 Gimenez 2001 Types for Proofs and Programs Gimenez 1998 2 knižných titulov