×

zbMATH — the first resource for mathematics

Found 240 Documents (Results 1–100)

100
MathJax
Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 139-158 (2020).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI
Češka, Milan (ed.) et al., Computational methods in systems biology. 16th international conference, CMSB 2018, Brno, Czech Republic, September 12–14, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-99428-4/pbk; 978-3-319-99429-1/ebook). Lecture Notes in Computer Science 11095. Lecture Notes in Bioinformatics, 220-237 (2018).
MSC:  92C40 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 305-318 (2013).
MSC:  68P05 68N18 68R10
PDF BibTeX XML Cite
Full Text: DOI
Beklemishev, Lev D. (ed.) et al., Logic, language, information and computation. 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18–20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20919-2/pbk). Lecture Notes in Computer Science 6642. Lecture Notes in Artificial Intelligence, 257-271 (2011).
MSC:  68T50 68Q17 68Q25 68T15 68T35
PDF BibTeX XML Cite
Full Text: DOI
Ma, Zongmin (ed.) et al., Soft computing in XML data management. Intelligent systems from decision making to data mining, web intelligence and computer vision. Berlin: Springer (ISBN 978-3-642-14009-9/hbk; 978-3-642-14010-5/ebook). Studies in Fuzziness and Soft Computing 255, 107-132 (2010).
MSC:  68P05
PDF BibTeX XML Cite
Full Text: DOI
Clark, Alexander (ed.) et al., Grammatical inference: Algorithms and applications. 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88008-0/pbk). Lecture Notes in Computer Science 5278. Lecture Notes in Artificial Intelligence, 213-223 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Wang, Guoyin (ed.) et al., Rough sets and knowledge technology. First international conference, RSKT 2006, Chongqing, China, July 24–26, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-36297-5/pbk). Lecture Notes in Computer Science 4062. Lecture Notes in Artificial Intelligence, 693-700 (2006).
MSC:  68T30 68T37 68T50
PDF BibTeX XML Cite
Full Text: DOI
Hacid, Mohand-Said (ed.) et al., Foundations of intelligent systems. 15th international symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25–28, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-25878-0/pbk). Lecture Notes in Computer Science 3488. Lecture Notes in Artificial Intelligence, 678-687 (2005).
MSC:  68P15 68P20
PDF BibTeX XML Cite
Full Text: DOI
Levy, Jean-Jacques (ed.) et al., Exploring new frontiers of theoretical informatics. IFIP 18th world computer congress, TC1 3rd international conference on theoretical computer science (TCS2004), 22–27 August 2004, Toulouse, France. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-8140-5/hbk). IFIP, International Federation for Information Processing 155, 381-394 (2004).
MSC:  68Q60 68Q25
PDF BibTeX XML Cite
Jensen, Christian S. (ed.) et al., Advances in spatial and temporal databases. 7th international symposium, SSTD 2001, Redondo Beach, CA, USA, July 12-15, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2121, 20-35 (2001).
MSC:  68U99 68P15
PDF BibTeX XML Cite
Full Text: Link
Luck, Michael (ed.) et al., Multi-agent systems and applications. 9th ECCAI advanced course, ACAI 2001 and agent link’s 3rd European agent systems summer school, EASSS 2001, Prague, Czech Republic, July 2-13, 2001. Selected tutorial papers. Berlin: Springer. Lect. Notes Comput. Sci. 2086, 74-97 (2001).
MSC:  68U99 68T99
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, 156-175 (2000).
MSC:  68P15 68Q15
PDF BibTeX XML Cite
Heidelberg: dpunkt Verlag. xvi, 207 S. (2000).
MSC:  68P15 68-01
PDF BibTeX XML Cite
Ganzinger, Harald (ed.) et al., Logic for programming and automated reasoning. 6th international conference, LPAR ’99, Tbilisi, Georgia, September 6-10, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1705, 201-222 (1999).
MSC:  68P15 68Q25 68N17
PDF BibTeX XML Cite
Paton, Norman W. (ed.), Active rules in database systems. New York, NY: Springer. Monographs in Computer Science. 221-232 (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, 127-139 (1998).
MSC:  68P15 68Q55
PDF BibTeX XML Cite
Rolland, Colette (ed.) et al., OOIS’98. 5th international conference on Object-oriented information systems, Paris, France, September 9–11, 1998. London: Springer. 57-74 (1998).
MSC:  68P15
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
all top 3
Software