×

zbMATH — the first resource for mathematics

Found 213 Documents (Results 1–100)

100
MathJax
Thi, Hoai An Le (ed.) et al., Advanced computational methods for knowledge engineering. Proceedings of 3rd international conference on computer science, applied mathematics and applications – ICCSAMA 2015. Extended versions of papers, Metz, France, May 11–13, 2015. Cham: Springer (ISBN 978-3-319-17995-7/pbk; 978-3-319-17996-4/ebook). Advances in Intelligent Systems and Computing 358, 243-254 (2015).
MSC:  68P15 68T35
PDF BibTeX XML Cite
Full Text: DOI
Do, Tien Van (ed.) et al., Advanced computational methods for knowledge engineering. Proceedings of the 2nd international conference on computer science, applied mathematics and applications, ICCSAMA 2014, Budapest, Hungary, May 8–9, 2014. Cham: Springer (ISBN 978-3-319-06568-7/pbk; 978-3-319-06569-4/ebook). Advances in Intelligent Systems and Computing 282, 281-295 (2014).
MSC:  68T27 68P15 68T30
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, 295-333 (2011).
MSC:  68T27 68-03
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, 151-161, electronic only (2011).
MSC:  68P15 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, 44-53, electronic only (2010).
MSC:  68N17 68P15
PDF BibTeX XML Cite
Full Text: DOI Link
Sarbazi-Azad, Hamid (ed.) et al., Advances in computer science and engineering. 13th international CSI computer conference, CSICC 2008, Kish Island, Iran, March 9–11, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-540-89984-6/pbk; 978-3-540-89985-3/ebook). Communications in Computer and Information Science 6, 50-60 (2008).
MSC:  68P15 68N17
PDF BibTeX XML Cite
Full Text: DOI
Lin, Tsau Young (ed.) et al., Data mining: Foundations and practice. Selected papers based on the presentations at the workshop on the foundation of data mining during IEEE ICDM 2004 and the IEEE ICDM 2005 workshop on the foundation of semantic oriented data and web mining. Berlin: Springer (ISBN 978-3-540-78487-6/hbk). Studies in Computational Intelligence 118, 353-374 (2008).
MSC:  68P15
PDF BibTeX XML Cite
Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-70582-6/pbk). Lecture Notes in Computer Science 5126, 336-347 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Muggleton, Stephen (ed.) et al., Inductive logic programming. 16th international conference, ILP 2006, Santiago de Compostela, Spain, August 24–27, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-73846-6/pbk). Lecture Notes in Computer Science 4455. Lecture Notes in Artificial Intelligence, 184-198 (2007).
MSC:  68T05 68N17 68P15
PDF BibTeX XML Cite
Full Text: DOI
Studies in Fuzziness and Soft Computing 202. Berlin: Springer (ISBN 3-540-33518-8/hbk). vi, 342 p. (2006).
PDF BibTeX XML Cite
Full Text: DOI
Gudes, Ehud (ed.) et al., Research directions in data and applications security. IFIP TC11/WG11.3 sixteenth annual conference on data and applications security, July 28–31, 2002, Cambridge, UK. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-7541-3/hbk). IFIP, International Federation for Information Processing 128, 103-114 (2003).
MSC:  68P15
PDF BibTeX XML Cite
Stuckey, Peter J. (ed.), Logic programming. 18th international conference, ICLP 2002, Copenhagen, Denmark, July 29 – August 1, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43930-7). Lect. Notes Comput. Sci. 2401, 130-147 (2002).
MSC:  68P15
PDF BibTeX XML Cite
Full Text: Link
Pettorossi, Alberto (ed.), Logic based program synthesis and transformation. 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28–30, 2001. Selected papers. Berlin: Springer (ISBN 3-540-43915-3). Lect. Notes Comput. Sci. 2372, 25-45 (2002).
MSC:  68N30 68N17 68P15
PDF BibTeX XML Cite
Full Text: Link
Thuraisingham, Bhavani (ed.) et al., Data and applications security. Developments and directions. IFIP TC11 / WG11.3 14th annual working conference on database security, Schoorl, the Netherlands, August 21-23, 2000. Boston: Kluwer Academic Publishers. IFIP, Int. Fed. Inf. Process. 73, 185-196 (2001).
MSC:  68P15 68P20
PDF BibTeX XML Cite
van Leeuwen, Jan (ed.) et al., Theoretical computer science. Exploring new frontiers of theoretical informatics. International conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1872, 536-548 (2000).
PDF BibTeX XML Cite
Bjørner, Dines (ed.) et al., Perspectives of system informatics. 3rd international Andrei Ershov memorial conference, PSI ’99. Akademgorodik, Novosibirsk, Russia, July 6-9, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1755, 228-234 (2000).
MSC:  68N17 03B44 03B70
PDF BibTeX XML Cite
Schewe, Klaus-Dieter (ed.) et al., Foundations of information and knowledge systems. 1st international symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1762, 241-259 (2000).
MSC:  68P15
PDF BibTeX XML Cite
Levesque, Hector J. (ed.) et al., Logical foundations for cognitive agents. Contributions in honor of Ray Reiter, on the occasion of his 60th birthday. Berlin: Springer. 234-299 (1999).
MSC:  68P15
PDF BibTeX XML Cite
Fraternali, Piero (ed.) et al., Proceedings of the 6th international workshop on Deductive databases and logic programming (DDLP’98). Held in conjunction with the joint international conference and symposium on Logic programming (JICSLP’98) in Manchester, GB, June 20, 1998. St. Augustin: GMD Forschungszentrum Informationstechnik GmbH, GMD-Report. 22, 141-155 (1998).
MSC:  68P15 68Q55
PDF BibTeX XML Cite
GMD-Report. 22. St. Augustin: GMD Forschungszentrum Informationstechnik GmbH, 155 p. (1998).
MSC:  00B25 68-06 68P15
PDF BibTeX XML Cite
Małuszyński, Jan (ed.), Logic programming. Proceedings of the international symposium (ILPS’97) held in Port Washington, NY, USA, October 13-16, 1997. Cambridge, MA: MIT Press. MIT Press Series in Logic Programming. 245-259 (1997).
MSC:  68P15 68N17
PDF BibTeX XML Cite
Benhamou, Frédéric (ed.), JFPLC ’97. 6èmes Journées francophones de programmation logique et programmation par constraintes. 26–28 Mai 1997. Orléans, France. Paris: Éditions Hermès. 101-115 (1997).
MSC:  68P15 68N17
PDF BibTeX XML Cite
Benhamou, Frédéric (ed.), JFPLC ’97. 6èmes Journées francophones de programmation logique et programmation par constraintes. 26–28 Mai 1997. Orléans, France. Paris: Éditions Hermès. 21-36 (1997).
MSC:  68N17
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
Biographic Reference
all top 3
Software