Úplné zobrazení záznamu

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

. 0 (hodnocen0 x ) BK Types for proofs and programs (2003 : Torino, Itálie) Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers / Stefano Berardi ... [et al.] (eds.) Berlin : Springer, c2004 X,408 s. ISBN 3-540-22164-6 (brož.) Lecture notes in computer science ; [vol.] 3085 Coppo, Mario, 1947-@orcid@xx0039983@/orcid@ (editor) Damiani, Ferruccio@orcid@xx0050250@/orcid@ (editor) Berardi, Stefano@orcid@32693@/orcid@ (editor) Obsahuje bibliografické citace, předmluvu, jmenný rejstřík logické programování logika matematické modelování počítačové modelování * sborníky Modelování matematické - sborníky Programování logické - sborníky referátů 004.4/.6 - Programování. Software 004.4 519.7 519.8 000114125

Anotace Annotation

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