×

zbMATH — the first resource for mathematics

Found 215 Documents (Results 1–100)

100
MathJax
Gyssens, Marc (ed.) et al., Foundations of information and knowledge systems. 9th international symposium, FoIKS 2016, Linz, Austria, March 7–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9616, 149-168 (2016).
PDF BibTeX XML Cite
Full Text: DOI Link
Huynh, Van-Nam (ed.) et al., Integrated uncertainty management and applications. Selected papers based on the presentations at the 2010 international symposium on integrated uncertainty managment and applications (IUM 2010), Ishikawa, Japan, April 9–11, 2010. Berlin: Springer (ISBN 978-3-642-11959-0/pbk; 978-3-642-11960-6/ebook). Advances in Intelligent and Soft Computing 68, 343-347 (2010).
MSC:  06F05 06B10
PDF BibTeX XML Cite
Full Text: DOI
Carnielli, Walter A. (ed.) et al., Advances in contemporary logic and computer science. Proceedings of the 11th Brazilian conference on mathematical logic, Salvador, Bahia, Brazil. May 6-10, 1996. Providence, RI: American Mathematical Society. Contemp. Math. 235, 127-131 (1999).
MSC:  06D35
PDF BibTeX XML Cite
Nielsen, Mogens (ed.) et al., Computer science logic. 11th international workshop, CSL ’97. Annual conference of the EACSL, Aarhus, Denmark, August 23–29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1414, 239-254 (1998).
PDF BibTeX XML Cite

Filter Results by …

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