×

zbMATH — the first resource for mathematics

Found 40 Documents (Results 1–40)

100
MathJax
Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 495-509 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Grigoriev, Dima (ed.) et al., Computer science – theory and applications. First international computer science symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8–12, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34166-8/pbk). Lecture Notes in Computer Science 3967, 322-333 (2006).
MSC:  03B44 68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Goncharov, S. S. (ed.) et al., Mathematical logic in Asia. Proceedings of the 9th Asian logic conference, Novosibirsk, Russia, August 16–19, 2005. Hackensack, NJ: World Scientific (ISBN 978-981-270-045-2/hbk). 233-253 (2006).
MSC:  03B44 03B25
PDF BibTeX XML Cite
DISKI. Dissertationen zur Künstlichen Intelligenz 238. Amsterdam: IOS Press; Berlin: Akademische Verlags-Gesellschaft Aka/ infix (ISBN 1-58603-128-7/pbk; 3-89838-238-9). 261 p. (2000).
MSC:  68T15 68T35 03B35
PDF BibTeX XML Cite
Studies in Logic, Language and Computation. Stanford, CA: CSLI Publications and Folli/The European Assoc. for Logic, Language and Information. ix, 124 p. $ 20.95, £13.95/pbk; $ 59.95, £37.50/hbk (1995).
MSC:  03-02 03B99
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
all top 3
Software