×

zbMATH — the first resource for mathematics

Found 165 Documents (Results 1–100)

100
MathJax
Kerber, Manfred (ed.) et al., Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9150, 18-36 (2015).
MSC:  68U35 68P20 68T10
PDF BibTeX Cite
Full Text: DOI
Proceedings of the 4th conference on innovations in theoretical computer science, ITCS’13, Berkeley, CA, USA, January 9–12, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1859-4). 233-246 (2013).
MSC:  68T05 68U35 91A60
PDF BibTeX Cite
Full Text: DOI
Carette, Jacques (ed.) et al., Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39319-8/pbk). Lecture Notes in Computer Science 7961. Lecture Notes in Artificial Intelligence, 296-309 (2013).
MSC:  68U35 68P20
PDF BibTeX Cite
Full Text: DOI
Aspinall, David (ed.) et al., Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 285, 115-119 (2012).
MSC:  68T15 68Q60 68U35
PDF BibTeX Cite
Full Text: DOI
Aspinall, David (ed.) et al., Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 285, 29-41 (2012).
MSC:  68U35 68Q60
PDF BibTeX Cite
Full Text: DOI
Alpuente, María (ed.), Logic-based program synthesis and transformation. 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20550-7/pbk). Lecture Notes in Computer Science 6564, 84-98 (2011).
MSC:  68N18 68U35
PDF BibTeX Cite
Full Text: DOI
Studies in Computational Intelligence 351. Berlin: Springer (ISBN 978-3-642-19952-3/hbk; 978-3-642-26779-6/pbk; 978-3-642-19953-0/ebook). x, 364 p. (2011).
PDF BibTeX Cite
Full Text: DOI
Dordrecht: Springer (ISBN 978-1-4020-8740-0/hbk). xvii, 590 p. (2008).
PDF BibTeX Cite
Bello, Rafael (ed.) et al., Granular computing: At the junction of rough sets and fuzzy sets. Several papers based on the presentations at the 1st international symposium of fuzzy and rough sets (ISFUROS 2006), Santa Clara, Cuba, December 5–8, 2006. Berlin: Springer (ISBN 978-3-540-76972-9/hbk). Studies in Fuzziness and Soft Computing 224, 287-306 (2008).
MSC:  68U35
PDF BibTeX Cite
Dordrecht: Springer (ISBN 978-1-4020-5819-6/hbk). xi, 298 p. (2007).
MSC:  68U07 68-01
PDF BibTeX Cite
DISKI. Dissertationen zur Künstlichen Intelligenz 289. Berlin: Akademische Verlagsgesellschaft Aka; Amsterdam: IOS Press; Saarbrücken: Univ. Saarbrücken, Naturwissenschaftlich-Technische Fakultät (Diss.) (ISBN 3-89838-289-3/pbk; 1-58603-506-1/pbk). xxiv, 260 p. (2005).
PDF BibTeX Cite
IFIP, International Federation for Information Processing 150. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-8148-0/hbk). xii, 326 p. (2004).
MSC:  68M14 68-06 00B25
PDF BibTeX Cite
Sebastiani, Fabrizio (ed.), Advances in information retrieval. 25th European conference on IR research, ECIR 2003, Pisa, Italy, April 14-16, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2633, 135-145 (2003).
MSC:  68P20 68T05 68U35
PDF BibTeX Cite
Full Text: Link
Lecture Notes in Computer Science. 2615. Berlin: Springer. xiv, 534 p. (2003).
MSC:  68U99 68-06 68U35
PDF BibTeX Cite
Full Text: Link
Garcia, Alessandro (ed.) et al., Software engineering for large-scale multi-agent systems. Research issues and practical applications. Berlin: Springer. Lect. Notes Comput. Sci. 2603, 267-284 (2003).
MSC:  68U99 68N99 68U35
PDF BibTeX Cite
Full Text: Link
Blostein, Dorothea (ed.) et al., Graphics recognition. Algorithms and applications. 4th international workshop, GREC 2001, Kingston, Ontario, Canada, September 7–8, 2001. Selected papers. Berlin: Springer (ISBN 3-540-44066-6). Lect. Notes Comput. Sci. 2390, 92-103 (2002).
MSC:  68U99 68T10 68U35
PDF BibTeX Cite
Full Text: Link
Hacid, Mohand-Saïd (ed.) et al., Foundations of intelligent systems. 13th international symposium, ISMIS 2002, Lyon, France, June 27–29, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43785-1). Lect. Notes Comput. Sci. 2366, 351-361 (2002).
MSC:  68U35 68P20 68T05
PDF BibTeX Cite
Full Text: Link
De Bra, Paul (ed.) et al., Adaptive hypermedia and adaptive Web-based systems. 2nd international conference, AH 2002, Málaga, Spain, May 29–31, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43737-1). Lect. Notes Comput. Sci. 2347, 592-597 (2002).
MSC:  68U99 68U35
PDF BibTeX Cite
Full Text: Link
Coello Coello, Carlos A. (ed.) et al., MICAI 2002: Advances in artificial intelligence. 2nd Mexican international conference, Mérida, Yucatán, Mexico, April 22–26, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43475-5). Lect. Notes Comput. Sci. 2313, 526-535 (2002).
MSC:  68T35 68U35
PDF BibTeX Cite
Full Text: Link
Chang, Shi-Kuo (ed.) et al., Recent advances in visual information systems. 5th international conference, VISUAL 2002, Hsin Chu, Taiwan, March 11–13, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43358-9). Lect. Notes Comput. Sci. 2314, 311-321 (2002).
MSC:  68U99 68U35 68T05
PDF BibTeX Cite
Full Text: Link
Eiter, Thomas (ed.) et al., Foundations of information and knowledge systems. 2nd international symposium, FoIKS 2002, Salzau Castle, Germany, February 20–23, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43220-5). Lect. Notes Comput. Sci. 2284, 49-66 (2002).
MSC:  68P15 68P25 68U35
PDF BibTeX Cite
Full Text: Link
Almeroth, Kevin C. (ed.) et al., Management of multimedia on the internet. 5th IFIP/IEEE international conference on management of multimedia networks and services, MMNS 2002, Santa Barbara, CA, USA, October 6-9, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2496, 263-275 (2002).
MSC:  68U99 68M10 68U35
PDF BibTeX Cite
Full Text: Link
Bouchon-Meunier, Bernadette (ed.) et al., Technologies for constructing intelligent systems. 1: Tasks. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 89, 43-56 (2002).
PDF BibTeX Cite
Constantopoulos, Panos (ed.) et al., Research and advanced technology for digital libraries. 5th European conference, ECDL 2001. Darmstadt, Germany, September 4-9, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2163, 402-414 (2001).
MSC:  68U99 68P20 68U35
PDF BibTeX Cite
Full Text: Link
Brewster, Stephen (ed.) et al., Haptic human-computer interaction. 1st international workshop, Glasgow, GB, August 31 - September 1, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2058, 199-204 (2001).
MSC:  68U99 68M99
PDF BibTeX Cite
Full Text: Link
Kalpić, Damir (ed.) et al., ITI 2001. Proceedings of the 23rd international conference on information technology interfaces, Pula, Croatia, June 19-22, 2001. Zagreb: SRCE Univ. Computing Centre. 125-131 (2001).
MSC:  68U99
PDF BibTeX Cite

Filter Results by …

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