×

zbMATH — the first resource for mathematics

Found 184 Documents (Results 1–100)

100
MathJax
Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 495-509 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 7th ACM conference on innovations in theoretical computer science, ITCS’16, Cambridge, MA, USA, January 14–16, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4057-1). 237-248 (2016).
MSC:  68Q15 68Q10 68Q25 68T15 94A60
PDF BibTeX XML Cite
Full Text: DOI
Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 23-39 (2015).
MSC:  68Q42 68Q25 68T15
PDF BibTeX XML Cite
Full Text: DOI
Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 332-338 (2012).
MSC:  68T15 03B35 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) and 17th annual LFA meeting, Aix-Les-Bains, France, July 18–22, 2011. Amsterdam: Atlantis Press (ISBN 9978-90-78677-00-0). Paper No. 147, 1022-1029 (2011).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24689-0/pbk). Lecture Notes in Computer Science 7041, 253-268 (2011).
MSC:  68T15 68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Falaschi, Moreno (ed.), Proceedings of the 17th international workshop on functional and (constraint) logic programming (WFLP 2008), Siena, Italy, July 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 246, 3-26 (2009).
MSC:  68T15 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Carnielli, Walter (ed.) et al., The many sides of logic. Selected papers of the simultaneous conferences “CLE 30 – 30th Anniversary of the Centre for Logic, Epistemology and the History of Science”, “XV EBL – 15th Brazilian Logic Conference” and “XIV SLALM – 14th Latin-American Symposium on Mathematical Logic”, Paraty, Brazil, May 11–17, 2008. London: College Publications (ISBN 978-1-904987-78-9/pbk). Studies in Logic (London) 21, 425-440 (2009).
MSC:  03B35 03B50 68T15
PDF BibTeX XML Cite
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, 315-337 (2008).
MSC:  68T05
PDF BibTeX XML Cite
Bruynooghe, Maurice (ed.), Logic based program synthesis and transformation. 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25–27, 2003. Revised selected papers. Berlin: Springer (ISBN 3-540-22174-3/pbk). Lecture Notes in Computer Science 3018, 20-33 (2004).
MSC:  68T15 68N30
PDF BibTeX XML Cite
Full Text: DOI
Baader, Franz (ed.), Automated deduction – CADE-19. 19th international conference on automated deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40559-3/pbk). Lect. Notes Comput. Sci. 2741, 297-316 (2003).
MSC:  68T15 03B35
PDF BibTeX XML Cite
Full Text: DOI
Callaghan, Paul (ed.) et al., Types for proofs and programs. International workshop, TYPES 2000, Durham, GB, December 8–12, 2000. Selected papers. Berlin: Springer (ISBN 3-540-43287-6). Lect. Notes Comput. Sci. 2277, 197-216 (2002).
MSC:  03B35 68T15
PDF BibTeX XML Cite
Full Text: Link
Prace Naukowe Uniwersytetu Śląskiego w Katowicach 1901. Katowice: Wydawnictwo Uniwersytetu Śląskiego (ISBN 83-226-1023-8/pbk). 124 p. (2000).
MSC:  03B70 03-02 03Fxx 68-02 68T15 03B35
PDF BibTeX XML Cite
DISKI. Dissertationen zur Künstlichen Intelligenz 238. Amsterdam: IOS Press; Berlin: Akademische Verlags-Gesellschaft Aka/ infix (ISBN 1-58603-128-7/pbk; 3-89838-238-9). 261 p. (2000).
MSC:  68T15 68T35 03B35
PDF BibTeX XML Cite
Fages, François (ed.), JFPLC’99. 8ème journées francophones de programmation logique et programmation par contraintes, Lyon, France, Juin 2-4, 1999. Paris: Hermes Science Publications. 241-248 (1999).
MSC:  68Q42
PDF BibTeX XML Cite
Chong, C. T. (ed.) et al., Proceedings of the 6th Asian logic conference, Beijing, China, May 20-24, 1996. Singapore: World Scientific. 199-221 (1998).
MSC:  03F07
PDF BibTeX XML Cite
Meseguer, J. (ed.), Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3–6, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 4, 20 p. (1996).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: 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