Number of the records: 1
Unification types in logic
Title Unification types in logic Author info Wojciech Dzik Author Dzik Wojciech
Issue data Katowice : Wydawnictwo Uniwersytetu Śląskiego , 2007. - 192 s. : il., 24 cm Issue 1. wyd. Edition Prace Naukowe Uniwersytetu Śląskiego w Katowiciach , nr 2554 ISBN 978-83-226-1717-5 Note Bibliografia s. 180 - 186. Register Keywords logika - logic Language English Country Poland Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 
book
Call number Location Sublocation Umiestnenie Info 299775 Univerzita Mateja Bela Department of mathematics In-Library Use Only
Number of the records: 1