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 Vydanie 1. wyd. Edícia Prace Naukowe Uniwersytetu Śląskiego w Katowiciach , nr 2554 ISBN 978-83-226-1717-5 Poznámka Bibliografia s. 180 - 186. Register Kľúč.slová logika - logic Jazyk dok. angličtina Krajina Poľsko Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 kniha
Signatúra Lokácia Dislokácia Umiestnenie Info 299775 Univerzita Mateja Bela FP Katedra matematiky len prezenčne
Počet záznamov: 1