Úplné zobrazení záznamu

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

. 0 (hodnocen0 x ) BK Generalized quantifiers and computation : 9th European summer school in logic, language, and information ESSLLI’97, Aix-en-Provence, France, August 11-22, 1997 : revised lactures / Jouko Väänänen (Ed.) Berlin : Springer, 1999 139 s. ISBN 3-540-66993-0 (brož.) Lecture notes in computer science ; [vol.] 1754 Väänänen, Jouko@orcid@88392@/orcid@ (editor) Obsahuje bibliografické citace, předmluvu kvantifikátory (logika) logické programování logika * sborníky Logika - sborníky referátů Programování logické - sborníky referátů 164 519.7 519.8 000032985

Anotace Annotation

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