×

zbMATH — the first resource for mathematics

Found 463 Documents (Results 1–100)

100
MathJax
Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 12th international conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11958, 484-492 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 11th international conference, LSSC 2017, Sozopol, Bulgaria, June 5–9, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10665, 324-332 (2018).
MSC:  90C27 68N17 90B06
PDF BibTeX XML Cite
Full Text: DOI
Adorni, Giovanni (ed.) et al., AI*IA 2016: advances in artificial intelligence. XVth international conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10037, 266-279 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Adorni, Giovanni (ed.) et al., AI*IA 2016: advances in artificial intelligence. XVth international conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10037, 179-191 (2016).
MSC:  68T20 68N17
PDF BibTeX XML Cite
Full Text: DOI
Carro, Manuel (ed.) et al., Technical communications of the 32nd international conference on logic programming, ICLP 2016, October 16–21, 2016, New York, NY, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 52, Article 16, 12 p. (2016).
MSC:  68T27 03B42 03B45
PDF BibTeX XML Cite
Full Text: DOI
Carro, Manuel (ed.) et al., Technical communications of the 32nd international conference on logic programming, ICLP 2016, October 16–21, 2016, New York, NY, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 52, Article 12, 15 p. (2016).
MSC:  68T27 03B05 68T20
PDF BibTeX XML Cite
Full Text: DOI
Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 60-77 (2015).
MSC:  68Q25 68Q19 90C60
PDF BibTeX XML Cite
Full Text: DOI
Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the 9th workshop on logical and semantic frameworks, with applications (LSFA 2014), Brasilia, Brazil, September 8–9, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 312, 179-195, electronic only (2015).
PDF BibTeX XML Cite
Full Text: DOI
Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the 9th workshop on logical and semantic frameworks, with applications (LSFA 2014), Brasilia, Brazil, September 8–9, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 312, 161-177, electronic only (2015).
PDF BibTeX XML Cite
Full Text: DOI
Proietti, Maurizio (ed.) et al., Logic-based program synthesis and transformation. 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9–11, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-17821-9/pbk; 978-3-319-17822-6/ebook). Lecture Notes in Computer Science 8981, 299-316 (2015).
MSC:  68N17 68N30
PDF BibTeX XML Cite
Full Text: DOI
Proietti, Maurizio (ed.) et al., Logic-based program synthesis and transformation. 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9–11, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8981, 74-91 (2015).
MSC:  68N17 68Q55 91E10
PDF BibTeX XML Cite
Full Text: DOI
Proietti, Maurizio (ed.) et al., Logic-based program synthesis and transformation. 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9–11, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8981, 59-73 (2015).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: DOI
Fernández, Maribel (ed.) et al., Proceedings of the 8th workshop on logical and semantic frameworks (LSFA 2013), São Paulo, Brazil, September 2–3, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 305, 103-121, electronic only (2014).
MSC:  68Q85 03F52
PDF BibTeX XML Cite
Full Text: DOI
Albert, Elvira (ed.), Logic-based program synthesis and transformation. 22nd international symposium, LOPSTR 2012, Leuven, Belgium, September 18–20, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-38196-6/pbk). Lecture Notes in Computer Science 7844, 176-193 (2013).
MSC:  68N17
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, 458-463, electronic only (2012).
MSC:  68T15 68N17
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, 439-444, electronic only (2012).
MSC:  68N30 68N17
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, 370-380, electronic only (2012).
MSC:  90B50 68N17
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, 188-200, electronic only (2012).
MSC:  68T05 68T15 68T27 68N17
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, 154-163, electronic only (2012).
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, 109-118, electronic only (2012).
MSC:  68N17 68R10
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, 86-97, electronic only (2012).
MSC:  68N30 68N17 68T27
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, 221-236 (2012).
MSC:  68N17 68N30
PDF BibTeX XML Cite
Full Text: DOI
Schrijvers, Tom (ed.) et al., Functional and logic programming. 11th international symposium, FLOPS 2012, Kobe, Japan, May 23–25, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29821-9/pbk). Lecture Notes in Computer Science 7294, 120-135 (2012).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI
Haeusler, Edward Hermann (ed.) et al., Proceedings of the 5th workshop on logical and semantic frameworks, with applications (LSFA 2010), Natal, Brazil, August 31, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 269, 55-69 (2011).
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, 259-294 (2011).
MSC:  68N17
PDF BibTeX XML Cite
Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 203-217, electronic only (2011).
MSC:  68Q25 68N17 68Q15
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, 117-127, electronic only (2011).
MSC:  68N17 68T20
PDF BibTeX XML Cite
Full Text: DOI Link

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