×

zbMATH — the first resource for mathematics

Found 467 Documents (Results 1–100)

100
MathJax
Gupta, Ankit (ed.) et al., Proceedings of SASB 2018, the 9th international workshop on static analysis and systems biology, Freiburg, Germany, August 28, 2018. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 350, 139-158 (2020).
MSC:  92C42
PDF BibTeX XML Cite
Full Text: DOI
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39950-4/pbk; 978-3-030-39951-1/ebook). Lecture Notes in Computer Science 12012, 79-89 (2020).
PDF BibTeX XML Cite
Full Text: DOI
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
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, 559-575 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
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, 542-558 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
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, 526-541 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-20527-0/pbk; 978-3-030-20528-7/ebook). Lecture Notes in Computer Science 11481. Lecture Notes in Artificial Intelligence, 298-311 (2019).
MSC:  68N17 68T27
PDF BibTeX XML Cite
Full Text: DOI
Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-20527-0/pbk; 978-3-030-20528-7/ebook). Lecture Notes in Computer Science 11481. Lecture Notes in Artificial Intelligence, 241-255 (2019).
MSC:  68N17 68T27
PDF BibTeX XML Cite
Full Text: DOI
Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-20527-0/pbk; 978-3-030-20528-7/ebook). Lecture Notes in Computer Science 11481. Lecture Notes in Artificial Intelligence, 224-238 (2019).
MSC:  68N17 68T27
PDF BibTeX XML Cite
Full Text: DOI
Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-20527-0/pbk; 978-3-030-20528-7/ebook). Lecture Notes in Computer Science 11481. Lecture Notes in Artificial Intelligence, 89-102 (2019).
MSC:  68N17 68T27
PDF BibTeX XML Cite
Full Text: DOI
Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-20527-0/pbk; 978-3-030-20528-7/ebook). Lecture Notes in Computer Science 11481. Lecture Notes in Artificial Intelligence, 45-50 (2019).
MSC:  68N17 68T27
PDF BibTeX XML Cite
Full Text: DOI
Riguzzi, Fabrizio (ed.) et al., Inductive logic programming. 28th international conference, ILP 2018, Ferrara, Italy, September 2–4, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-99959-3/pbk; 978-3-319-99960-9/ebook). Lecture Notes in Computer Science 11105. Lecture Notes in Artificial Intelligence, 88-104 (2018).
MSC:  68N17 68T05
PDF BibTeX XML Cite
Full Text: DOI
Tjoa, A Min (ed.) et al., SOFSEM 2018: theory and practice of computer science. 44th international conference on current trends in theory and practice of computer science, Krems, Austria, January 29 – February 2, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10706, 87-93 (2018).
MSC:  68T27 68N17 68P15
PDF BibTeX XML Cite
Full Text: DOI
Rocha, Ricardo (ed.) et al., Technical communications of the 33rd international conference on logic programming, ICLP 2017, August 28 – September 1, 2017, Melbourne, Australia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 58, Article 12, 12 p. (2018).
MSC:  68R10 68N17 68Q27
PDF BibTeX XML Cite
Full Text: DOI
Češka, Milan (ed.) et al., Computational methods in systems biology. 16th international conference, CMSB 2018, Brno, Czech Republic, September 12–14, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-99428-4/pbk; 978-3-319-99429-1/ebook). Lecture Notes in Computer Science 11095. Lecture Notes in Bioinformatics, 59-74 (2018).
MSC:  92-04 92C40
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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