Search results
- RETRO-CATALOGUING - SHORT RECORD
Elementy logiki formalnej / Ludwik Borkowski. Warszawa : Państwowe wydawnictwo naukowe, 1972 . 153 s. il. - C 85.864
Umístění:Branch Available Unavail. / In-house use only Loaned Reserved Place Lidická 1 0/0 0 0 - Filosofie podle zásad sv. Tomáše Akvinského. Díl prvý, Formální a materiální logika, noëtika a všeobecná metafysika či ontologie / napsal Josef Pospíšil. V Brně : Tiskem a nákladem Papežské knihtiskárny benediktinů rajhradských, [1913 nebo 1915] . xiv, 729 stran
- Formální logika / Jan Štěpán. Olomouc : Fin, 1995 . 109 s. . ISBN 80-7182-004-0 - C 282.917
Umístění:Branch Available Unavail. / In-house use only Loaned Reserved Place Lidická příruční sklad 1 0/0 0 0 - Formální logika : neformální výklad základů formální logiky / Petr Jirků, Jiřina Vejnarová. V Praze : Oeconomica, 2005 . 161 s.
. ISBN 80-245-0974-1 - S 31.422
Umístění:Branch Available Unavail. / In-house use only Loaned Reserved Place Lidická 1 0/0 0 0 - Formální logika a sémantický web / Alena Lukasová, Martin Žáček, Marek Vajgl, Zdeňka Telnarová. Plzeň : Západočeská univerzita v Plzni, 2015 . 260 stran ilustrace ; . ISBN 978-80-261-0408-7 - C 367.276
Umístění: 004.8 - Umělá inteligence - Formální logika a sémantický web / Alena Lukasová, Martin Žáček, Marek Vajgl, Zdeňka Telnarová. Plzeň : Západočeská univerzita v Plzni, 2019 . 245 stran ilustrace ; . ISBN 978-80-261-0611-1 - C 387.135
Umístění: 004.8 - Umělá inteligence - Formální logika v umělé inteligenci / Alena Lukasová. Brno : Computer Press, 2003 . ix, 269 s. il. ; . ISBN 80-251-0023-5
- RETRO-CATALOGUING - SHORT RECORD
K implikaci v Aristotelově Logice / Milan Mráz. Praha : Academia, 1988 . 94 s. - C 261.602
Umístění:Branch Available Unavail. / In-house use only Loaned Reserved Place Lidická příruční sklad 1 0/0 0 0 - Klasická logika / Jan Štěpán. Olomouc : Univerzita Palackého, 2001 . 198 s. . ISBN 80-244-0254-8 - S 27.721
Umístění:Branch Available Unavail. / In-house use only Loaned Reserved Place Lidická 2 0/0 0 0