×

zbMATH — the first resource for mathematics

Found 87 Documents (Results 1–87)

100
MathJax
Desharnais, Jules (ed.) et al., Relational and algebraic methods in computer science. 17th international conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018. Proceedings. Cham: Springer (ISBN 978-3-030-02148-1/pbk; 978-3-030-02149-8/ebook). Lecture Notes in Computer Science 11194, 113-130 (2018).
MSC:  68Qxx
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 3, 14 p. (2017).
MSC:  68T40 68T30 68U05
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 1, 15 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Calimeri, Francesco (ed.) et al., Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23263-8/pbk; 978-3-319-23264-5/pbk). Lecture Notes in Computer Science 9345. Lecture Notes in Artificial Intelligence, 565-571 (2015).
MSC:  68N17 68T27
PDF BibTeX XML Cite
Full Text: DOI
Gabbay, Dov M. (ed.) et al., Mathematical problems from applied logic. II. Logics for the XXIst century. New York, NY: Springer (ISBN 978-0-387-69244-9/hbk). International Mathematical Series (New York) 5, 267-348 (2007).
MSC:  68T27 68T30 54D05
PDF BibTeX XML Cite
Brazdil, Pavel (ed.) et al., Progress in artificial intelligence. Knowledge extraction, multi-agent systems, logic programming, and constraint solving. 10th Portuguese conference, EPIA 2001, Porto, Portugal, December 17–20, 2001. Proceedings. Berlin: Springer (ISBN 3-540-43030-X). Lect. Notes Comput. Sci. 2258, 298-305 (2001).
MSC:  68T40
PDF BibTeX XML Cite
Full Text: Link
Montello, Daniel R. (ed.), Spatial information theory. Foundations of geographic information science. 5th international conference, COSIT 2001, Morro Bay, CA, USA, September 19–23, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42613-2). Lect. Notes Comput. Sci. 2205, 431-446 (2001).
PDF BibTeX XML Cite
Full Text: Link
Montello, Daniel R. (ed.), Spatial information theory. Foundations of geographic information science. 5th international conference, COSIT 2001, Morro Bay, CA, USA, September 19–23, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42613-2). Lect. Notes Comput. Sci. 2205, 415-430 (2001).
MSC:  68U99 68U05 68U35
PDF BibTeX XML Cite
Full Text: Link
Montello, Daniel R. (ed.), Spatial information theory. Foundations of geographic information science. 5th international conference, COSIT 2001, Morro Bay, CA, USA, September 19–23, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42613-2). Lect. Notes Comput. Sci. 2205, 76-91 (2001).
PDF BibTeX XML Cite
Full Text: Link
Ziarko, Wojciech (ed.) et al., Rough set and current trends in computing. 2nd international conference, RSCTC 2000, Banff, Canada, October 16-19, 2000. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2005, 445-453 (2001).
MSC:  68T37 68U35
PDF BibTeX XML Cite
Full Text: Link
Kracht, Marcus (ed.) et al., Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Stanford, CA: Center for the Study of Language and Information (CSLI). CSLI Lect. Notes. 87, 115-132 (1998).
MSC:  03B45 68T27
PDF BibTeX XML Cite
Frontiers in Artificial Intelligence and Applications. 47. Amsterdam: IOS Press. xix, 210 p. (1998).
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
all top 3
Software