×

zbMATH — the first resource for mathematics

Found 26 Documents (Results 1–26)

100
MathJax
Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19569-4/pbk; 978-3-030-19570-0/ebook). Lecture Notes in Computer Science 11468. Lecture Notes in Artificial Intelligence, 608-626 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Murlak, Filip (ed.) et al., Mathematical foundations of computer science 2011. 36th international symposium, MFCS 2011, Warsaw, Poland, August 22–26, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22992-3/pbk). Lecture Notes in Computer Science 6907, 60-71 (2011).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Mossakowski, Till (ed.) et al., Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73857-2/pbk). Lecture Notes in Computer Science 4624, 356-371 (2007).
MSC:  68Q65 03B45
PDF BibTeX XML Cite
Full Text: DOI
Pandu Rangan, C. (ed.) et al., Foundations of software technology and theoretical computer science. 19th conference, Chennai, India, December 13-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1738, 369-380 (1999).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Proceedings of the 3rd meeting of the Portuguese algebraists, April 15-16, 1993, Coimbra, Portugal. Coimbra: Departamento de Matemática, Universidade de Coimbra, 71-86 (1993).
MSC:  03B45 68Q99 03G30
PDF BibTeX XML Cite
Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 25-41 (1991).
MSC:  68Q60 68Q10 03B45
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