Úplné zobrazení záznamu

Toto je statický export z katalogu ze dne 28.05.2026. Zobrazit aktuální podobu v katalogu.

. 0 (hodnocen0 x ) BK Manna, Zohar, 1939-2018@orcid@xx0256965@/orcid@  The logical basis for computer programming. Volume 2, Deductive systems 1st ed. Reading : Addison-Wesley, c1990 xiii, 642 s. ISBN 0-201-18261-0 matematická logika programování symbolická logika * vysokoškolské učebnice 004.4/.6 - Programování. Software 000055840

Anotace Annotation

© 2005 Ex Libris
© 2009 - 2026 Ostravská univerzita Dotazy a připomínky