×

zbMATH — the first resource for mathematics

Found 123 Documents (Results 1–100)

100
MathJax
Bellow, Alexandra (ed.) et al., Mathematics almost everywhere. In memory of Solomon Marcus. Hackensack, NJ: World Scientific. 153-167 (2018).
MSC:  03F10 47J25
PDF BibTeX XML Cite
Full Text: DOI
Darmstadt: TU Darmstadt, Fachbereich Mathematik (Diss.). 142 p. (2016).
PDF BibTeX XML Cite
Full Text: Link Link
London: Springer (ISBN 978-0-85729-807-2/hbk; 978-0-85729-808-9/ebook). xvii, 416 p. (2011).
MSC:  03-02 03B25 03B35 03E99 30E20 68T15
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
Leizarowitz, Arie (ed.) et al., Nonlinear analysis and optimization I. Nonlinear analysis. A conference in celebration of Alex Ioffe’s 70th and Simeon Reich’s 60th birthdays, Haifa, Israel, June 18–24, 2008. Providence, RI: American Mathematical Society (AMS); Ramat-Gan: Bar-Ilan University (ISBN 978-0-8218-4834-0/pbk). Contemporary Mathematics 513, 193-210 (2010).
PDF BibTeX XML Cite
García-Falset, Jesús (ed.) et al., Proceedings of the international conference on fixed-point theory and its applications, Valencia, Spain, July 13–19, 2003. Yokohama: Yokohama Publishers (ISBN 4-946552-13-8/hbk). 143-172 (2004).
PDF BibTeX XML Cite
Berlin: Logos Verlag; München: Univ. München, Fakultät für Mathematik und Informatik (Dissertation) (ISBN 3-89722-767-3). viii, 132 p. EUR 40.50 (2001).
PDF BibTeX XML Cite
Robinson, Alan (ed.) et al., Handbook of automated reasoning. In 2 vols. Amsterdam: North-Holland/ Elsevier. 1403-1486 (2001).
MSC:  03B35 03B10
PDF BibTeX XML Cite
Corradini, Andrea (ed.) et al., Joint COMPUGRAPH/ SEMAGRAPH workshop on Graph rewriting and computation (SEGRAGRA ’95). Selected papers from the workshop, Volterra, Italy, August 28 - September 1, 1995. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 2, 8 p. (1995).
MSC:  68T15 68R10
PDF BibTeX XML Cite
Full Text: Link
Artificial intelligence, IJCAI-91, Proc. 12th Int. Conf., Sydney/Australia 1991, 890-896 (1991).
Reviewer: N.Curteanu (Iaşi)
MSC:  68N17 68T27 68T35
PDF BibTeX XML Cite
Artificial intelligence, IJCAI-91, Proc. 12th Int. Conf., Sydney/Australia 1991, 863-868 (1991).
Reviewer: N.Curteanu (Iaşi)
MSC:  68N17 68T99 68P15 68T15
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
all top 3
Software