×

zbMATH — the first resource for mathematics

Found 783 Documents (Results 1–100)

100
MathJax
Synthesis Lectures on Artificial Intelligence and Machine Learning 44. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-68173-724-9/hbk; 978-1-68173-722-5/pbk; 978-1-68173-723-2/ebook). xx, 199 p. (2020).
MSC:  68-01 68N17
PDF BibTeX XML Cite
Full Text: DOI
Kóczy, László T. (ed.) et al., Interactions between computational intelligence and mathematics. Part 2. Cham: Springer. Stud. Comput. Intell. 794, 1-17 (2019).
MSC:  68N17 03B52 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Hinze, Thomas (ed.) et al., Membrane computing. 19th international conference, CMC 2018, Dresden, Germany, September 4–7, 2018. Revised selected papers. Cham: Springer (ISBN 978-3-030-12796-1/pbk; 978-3-030-12797-8/ebook). Lecture Notes in Computer Science 11399, 160-187 (2019).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Texts in Computing 19. London: College Publications (ISBN 978-1-84890-280-0/pbk). xviii, 464 p. (2018).
MSC:  68-01 03B70 68N17 68Q05 68Q15 68Q17 68Q42 68Q45 68T15
PDF BibTeX XML Cite
Gheorghe, Marian (ed.) et al., Membrane computing. 18th international conference, CMC 2017, Bradford, UK, July 25–28, 2017. Revised selected papers. Cham: Springer (ISBN 978-3-319-73358-6/pbk; 978-3-319-73359-3/ebook). Lecture Notes in Computer Science 10725, 214-229 (2018).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Leporati, Alberto (ed.) et al., Membrane computing. 17th international conference, CMC 2016, Milan, Italy, July 25–29, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-54071-9/pbk; 978-3-319-54072-6/ebook). Lecture Notes in Computer Science 10105, 317-339 (2017).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 214-227 (2016).
MSC:  68N18 68N17 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Inoue, Katsumi (ed.) et al., Inductive logic programming. 25th international conference, ILP 2015, Kyoto, Japan, August 20–22, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-40565-0/pbk; 978-3-319-40566-7/ebook). Lecture Notes in Computer Science 9575. Lecture Notes in Artificial Intelligence, 152-165 (2016).
MSC:  68T05 68N17
PDF BibTeX XML Cite
Full Text: DOI
Kiselyov, Oleg (ed.) et al., Functional and logic programming. 13th international symposium, FLOPS 2016, Kochi, Japan, March 4–6, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-29603-6/pbk; 978-3-319-29604-3/ebook). Lecture Notes in Computer Science 9613, 109-125 (2016).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI
Rozenberg, Grzegorz (ed.) et al., Membrane computing. 16th international conference, CMC 2015, Valencia, Spain, August 17–21, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-28474-3/pbk; 978-3-319-28475-0/ebook). Lecture Notes in Computer Science 9504, 321-337 (2015).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
McMillan, Ken (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14–19, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8312, 694-709 (2013).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: DOI
Cabalar, Pedro (ed.) et al., Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40563-1/pbk). Lecture Notes in Computer Science 8148. Lecture Notes in Artificial Intelligence, 148-160 (2013).
MSC:  68N17 68T20
PDF BibTeX XML Cite
Full Text: DOI
Cabalar, Pedro (ed.) et al., Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40563-1/pbk). Lecture Notes in Computer Science 8148. Lecture Notes in Artificial Intelligence, 11-22 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 312-322, electronic only (2012).
MSC:  68N17 03B70
PDF BibTeX XML Cite
Full Text: DOI
Vidal, Germán (ed.), Logic-based program synthesis and transformation. 21st international symposium, LOPSTR 2011. Odense, Denmark, July 18–20, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32210-5/pbk). Lecture Notes in Computer Science 7225, 139-154 (2012).
MSC:  68N15 68N17
PDF BibTeX XML Cite
Full Text: DOI
Brewka, Gerhard (ed.) et al., Nonmonotonic reasoning. Essays celebrating its 30th anniversary. Papers from the conference (NonMon30), Lexington, KY, USA, October 22–25, 2010. London: College Publications (ISBN 978-1-84890-042-4/pbk). Studies in Logic (London) 31, 181-200 (2011).
MSC:  68T27 68N17 68T30
PDF BibTeX XML Cite
Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6–10, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPIcs – Leibniz International Proceedings in Informatics 11, 280-283, electronic only (2011).
MSC:  68N17 68N30 68T15
PDF BibTeX XML Cite
Full Text: DOI Link
Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6–10, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPIcs – Leibniz International Proceedings in Informatics 11, 209-219, electronic only (2011).
MSC:  68T30 68N17 68P20
PDF BibTeX XML Cite
Full Text: DOI Link
Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6–10, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPIcs – Leibniz International Proceedings in Informatics 11, 84-94, electronic only (2011).
PDF BibTeX XML Cite
Full Text: DOI Link
Pop, Horia F. (ed.) et al., 8th joint conference on mathematics and computer science, MaCS 2010, Komárno, Slovakia, July 14–17, 2010. Selected papers. Győr: NOVADAT (ISBN 978-963-9056-38-1/pbk). 153-162 (2011).
MSC:  68Q42 68N17
PDF BibTeX XML Cite
Cambridge: Cambridge University Press (ISBN 978-0-521-19482-2/hbk; 978-0-521-12336-5/pbk). xxii, 310 p. (2011).
PDF BibTeX XML Cite
Full Text: DOI
Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 281-285, electronic only (2010).
MSC:  68T27 68T05 03B48 03B15 68N17
PDF BibTeX XML Cite
Full Text: DOI Link
Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 172-181, electronic only (2010).
MSC:  68T15 68N17
PDF BibTeX XML Cite
Full Text: DOI Link
Kolleg Synchron. Heidelberg: Synchron Wissenschaftsverlag der Autoren (ISBN 978-3-935025-84-3/pbk). x, 342 p. (2009).
MSC:  68N17 03-01 68-01 68T15
PDF BibTeX XML Cite
Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 651-666 (2008).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: DOI
Puebla, Germán (ed.), Logic-based program synthesis and transformation. 16th international symposium, LOPSTR 2006, Venice, Italy, July 12–14, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-71409-5/pbk). Lecture Notes in Computer Science 4407, 77-93 (2007).
MSC:  68N17 68N20
PDF BibTeX XML Cite
Full Text: DOI
Krejić, N. (ed.) et al., PRIM 2004. Proceedings of the XVI conference on applied mathematics, Budva, Montenegro, May 31–June 4, 2004. Novi Sad: Univ. of Novi Sad, Faculty of Science, Department of Mathematics and Informatics. 203-216 (2006).
MSC:  68T15 68T27 03B10 03B35
PDF BibTeX XML Cite
Cognitive Technologies. Berlin: Springer (ISBN 3-540-25031-X/hbk). xx, 513 p. (2006).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP ’05, Tallinn, Estonia, September 26–28, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-064-7). ACM SIGPLAN Notices 40, No. 9, 192-203 (2005).
MSC:  68N18 68N17
PDF BibTeX XML Cite
Full Text: DOI
Alferes, José Júlio (ed.) et al., Logics in artificial intelligence. 9th European conference, JELIA 2004, Lisbon, Portugal, September 27–30, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23242-7/pbk). Lecture Notes in Computer Science 3229. Lecture Notes in Artificial Intelligence, 279-293 (2004).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: DOI
Rahman, Shahid (ed.) et al., Logic, epistemology, and the unity of science. Berlin: Springer (ISBN 1-4020-2807-5/hbk; 1-4020-2808-3/e-book). Logic, Epistemology, and the Unity of Science 1, 291-326 (2004).
MSC:  03B42 68T27 68T30
PDF BibTeX XML Cite

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