Počet záznamov: 1
Unification types in logic
Názov Unification types in logic Aut.údaje Wojciech Dzik Autor Dzik Wojciech Vyd.údaje Katowice : Wydawnictwo Uniwersytetu Śląskiego , 2007. - 192 s. : il., 24 cm Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici kniha
Počet záznamov: 1