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: Marques-Silva reset filtrov +
Autor: Marques-Silva Theory and Applications of Satisfiability Testing - SAT 2007 Marques-Silva 2007 1 knižných titulov