×

zbMATH — the first resource for mathematics

Found 290 Documents (Results 1–100)

100
MathJax
Ghosh, Sujata (ed.) et al., Logic and its applications. 7th Indian conference, ICLA 2017, Kanpur, India, January 5–7, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-54068-8/pbk; 978-3-662-54069-5/ebook). Lecture Notes in Computer Science 10119, 224-238 (2017).
MSC:  03Bxx 68T27
PDF BibTeX XML Cite
Full Text: DOI
Clementini, Eliseo (ed.) et al., 13th international conference on spatial information theory, COSIT 2017, L’Aquila, Italy, September 4–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 86, Article 7, 14 p. (2017).
MSC:  68T30 86A05
PDF BibTeX XML Cite
Full Text: DOI
Clementini, Eliseo (ed.) et al., 13th international conference on spatial information theory, COSIT 2017, L’Aquila, Italy, September 4–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 86, Article 4, 15 p. (2017).
MSC:  68T30 68P05 68U05
PDF BibTeX XML Cite
Full Text: DOI
Salvagnin, Domenico (ed.) et al., Integration of AI and OR techniques in constraint programming. 14th international conference, CPAIOR 2017, Padua, Italy, June 5–8, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-59775-1/pbk; 978-3-319-59776-8/ebook). Lecture Notes in Computer Science 10335, 21-29 (2017).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 55, No. 6, 912-923 (2016); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2016, No. 6, 71-82 (2016).
MSC:  68T30 68T27
PDF BibTeX XML Cite
Full Text: DOI
Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-48757-1/pbk; 978-3-319-48758-8/ebook). Lecture Notes in Computer Science 10021. Lecture Notes in Artificial Intelligence, 207-222 (2016).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40228-4/pbk; 978-3-319-40229-1/ebook). Lecture Notes in Computer Science 9706. Lecture Notes in Artificial Intelligence, 389-405 (2016).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Crescenzi, Pierluigi (ed.) et al., Proceedings of ICTCS 2015, the 16th Italian conference on theoretical computer science, Firenze, Italy, September 9–11, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 322, 211-226, electronic only (2016).
MSC:  68Q60 03B44
PDF BibTeX XML Cite
Full Text: DOI
Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 15th international conference, ICAISC 2016, Zakopane, Poland, June 12–16, 2016. Proceedings. Part II. Cham: Springer (ISBN 978-3-319-39383-4/pbk; 978-3-319-39384-1/ebook). Lecture Notes in Computer Science 9693. Lecture Notes in Artificial Intelligence, 317-328 (2016).
MSC:  68T37 03B52 68T27
PDF BibTeX XML Cite
Full Text: DOI
Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 15th international conference, ICAISC 2016, Zakopane, Poland, June 12–16, 2016. Proceedings. Part II. Cham: Springer (ISBN 978-3-319-39383-4/pbk; 978-3-319-39384-1/ebook). Lecture Notes in Computer Science 9693. Lecture Notes in Artificial Intelligence, 306-316 (2016).
MSC:  68T40 03B44 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 15th international conference, ICAISC 2016, Zakopane, Poland, June 12–16, 2016. Proceedings. Part I. Cham: Springer (ISBN 978-3-319-39377-3/pbk; 978-3-319-39378-0/ebook). Lecture Notes in Computer Science 9692. Lecture Notes in Artificial Intelligence, 219-229 (2016).
MSC:  68T40 03B44 03B52
PDF BibTeX XML Cite
Full Text: DOI
Yao, Yiyu (ed.) et al., Rough sets, fuzzy sets, data mining, and granular computing. 15th international conference, RSFDGrC 2015, Tianjin, China, November 20–23, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9437, 49-60 (2015).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
De Nivelle, Hans (ed.), Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24311-5/pbk; 978-3-319-24312-2/ebook). Lecture Notes in Computer Science 9323. Lecture Notes in Artificial Intelligence., 54-69 (2015).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 152-171 (2015).
MSC:  68T27 68T20 90B20
PDF BibTeX XML Cite
Full Text: DOI
Eiter, Thomas (ed.) et al., Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9060, 173-185 (2015).
MSC:  68T27 68T30
PDF BibTeX XML Cite
Full Text: DOI

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
all top 3
Software