×

zbMATH — the first resource for mathematics

Found 69 Documents (Results 1–69)

100
MathJax
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
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
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
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
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
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, 289-293, electronic only (2010).
MSC:  68T20 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, 212-221, electronic only (2010).
PDF BibTeX XML Cite
Full Text: DOI Link
Echahed, Rachid (ed.), Proceedings of the 16th international workshop on functional and (constraint) logic programming (WFLP 2007), Paris, France, June 25, 2007. Selected papers. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 216, 31-44 (2008).
MSC:  68Q42 68N17 68N18 68T15
PDF BibTeX XML Cite
Full Text: DOI
Aldini, Alessandro (ed.) et al., Proceedings of the fifth workshop on quantitative aspects of programming languages (QAPL 2007), Braga, Portugal, March 24–25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 190, No. 3, 111-127 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Alur, Rajeev (ed.) et al., Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25–27, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21259-0/pbk). Lecture Notes in Computer Science 2993, 402-416 (2004).
MSC:  93C30 93A30
PDF BibTeX XML Cite
Full Text: DOI
Hu, Zhenjiang (ed.) et al., Functional and logic programming. 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2441, 103-118 (2002).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: Link
Voronkov, Andrei (ed.), Logic programming and automated reasoning. 4th international conference, LPAR ’93, St. Petersburg, Russia, July 13-20, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 698, 86-97 (1993).
MSC:  68N17 68T15 68Q85
PDF BibTeX XML Cite
Bruynooghe, Maurice (ed.) et al., Programming language implementation and logic programming. 5th international symposium, PLILP ’93, Tallinn, Estonia, August 25-27, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 714, 60-74 (1993).
MSC:  68N17 68M20 90B35
PDF BibTeX XML Cite
Artificial intelligence, IJCAI-91, Proc. 12th Int. Conf., Sydney/Australia 1991, 851-856 (1991).
Reviewer: N.Curteanu (Iaşi)
MSC:  68N17 68T99 68T20
PDF BibTeX XML Cite
Lecture Notes in Computer Science. 463. Berlin etc.: Springer-Verlag. VII, 386 p. (1990).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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