Úplné zobrazení záznamu

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

. 0 (hodnocen0 x ) (1) Půjčeno:1x  BK Nerode, Anil, 1932-@orcid@kup20010000069809@/orcid@  Logic for applications New York : Springer, 1993 365 stran ISBN 0-387-94129-0 logické programování logika * pojednání 51 - Matematika 000055838

Anotace Annotation

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