×

zbMATH — the first resource for mathematics

Found 83 Documents (Results 1–83)

100
MathJax
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-27682-3/pbk; 978-3-319-27683-0/ebook). Lecture Notes in Computer Science 9537, 76-89 (2016).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI arXiv
Bolander, Thomas (ed.) et al., Proceedings of the 6th workshop on methods for modalities (M4M-6 2009), Copenhagen, Denmark, November 12–14, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 262, 17-32 (2010).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: DOI
Sib. Mat. Zh. 43, No. 2, 446-453 (2002); translation in Sib. Math. J. 43, No. 2, 357-362 (2002).
MSC:  03B45 03B25
PDF BibTeX XML Cite
Full Text: EuDML
Kłopotek, Mieczysław A. (ed.) et al., Intelligent information systems 2001. Proceedings of the 10th international symposium, IIS ’2001, Zakopane, Poland, June 18-22, 2001. Heidelberg: Physica-Verlag. Advances in Soft Computing. 281-294 (2001).
MSC:  03B70 03B20
PDF BibTeX XML Cite
Jaffar, Joxan (ed.), Logic programming. Proceedings of the joint international conference and symposium (JICSLP ’98), Manchester, GB, June 16-19, 1998. 4th joint event for the international conference on Logic programming (ICLP ’98) and the international logic programming symposium (ILPS ’98), and it is the 15th conference in each of the two series of premier international conference on Logic programming. Cambridge, MA: MIT Press. MIT Press Series in Logic Programming. 325-342 (1998).
MSC:  68Q42 68R10
PDF BibTeX XML Cite
DIANA III. Proceedings of the conference on discriminant analysis, cluster analysis, factor analysis, and related topics of multivariate statistics and data analysis, held in Bechyně, Czechoslovakia, June 4-7, 1990. Prague: Czechoslovak Academy of Sciences, Mathematical Institute, 20-33 (1990).
MSC:  62H30
PDF BibTeX XML Cite

Filter Results by …

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