×

zbMATH — the first resource for mathematics

Found 32 Documents (Results 1–32)

100
MathJax
Cao, Bing-Yuan (ed.) et al., Quantitative logic and soft computing 2010. Vol. 2. Proceedings of the 2nd international conference (QL & SC 2010), Xiamen, China, October 22–25, 2010. Berlin: Springer (ISBN 978-3-642-15659-5/pbk; 978-3-642-15660-1/ebook). Advances in Intelligent and Soft Computing 82, 707-714 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Berghammer, Rudolf (ed.) et al., Relations and Kleene algebra in computer science. 11th international conference on relational methods in computer science, RelMiCS 2009, and 6th international conference on applications of Kleene algebra, AKA 2009, Doha, Qatar, November 1–5, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04638-4/pbk). Lecture Notes in Computer Science 5827, 199-210 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Furbach, Ulrich (ed.), KI 2005: Advances in artificial intelligence. 28th annual German conference on AI, KI 2005, Koblenz, Germany, September 11–14, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28761-2/pbk). Lecture Notes in Computer Science 3698. Lecture Notes in Artificial Intelligence, 49-63 (2005).
MSC:  68T27 03G15 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Prawitz, D. (ed.) et al., Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991. Amsterdam: North-Holland. Stud. Logic Found. Math. 134, 693-724 (1994).
MSC:  03B45 03B70 03G15 03B65 03B15
PDF BibTeX XML Cite
Translations of Mathematical Monographs, 68. Providence, RI: American Mathematical Society (AMS). vi, 320 p.; $ 114.00 (1988).
PDF BibTeX XML Cite

Filter Results by …

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