×

zbMATH — the first resource for mathematics

Found 96 Documents (Results 1–96)

100
MathJax
Cambridge Monographs on Mathematical Physics. Cambridge: Cambridge University Press (ISBN 978-0-521-19702-1/hbk; 978-1-139-04811-8/ebook). xvii, 520 p. (2017).
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, 241-256 (2015).
MSC:  68Q42 05B15 13P10
PDF BibTeX XML Cite
Full Text: DOI
Ji, Lizhen (ed.), Geometry and analysis, No. 2. Collected papers of the conference “Geometric analysis: Present and future” on the occasion of Shing-Tung Yau’s 60th birthday, Harvard University, Cambridge, MA, USA, August 27–September 1, 2008. Somerville, MA: International Press; Beijing: Higher Education Press (ISBN 978-1-57146-225-1/pbk). Advanced Lectures in Mathematics (ALM) 18, 335-346 (2011).
MSC:  81V22 81T30 81V17
PDF BibTeX XML Cite
Full Text: arXiv
Rajantie, Arttu (ed.) et al., Particles, strings, and cosmology. 13th international symposium on particles, strings and cosmology PASCOS 2007, London, United Kingdom, 2–7 2007. Melville, NY: American Institute of Physics (AIP) (ISBN 978-0-7354-0471-7/hbk). AIP Conference Proceedings 957, 349-352 (2007).
MSC:  81V22 81T30 81T13
PDF BibTeX XML Cite
Full Text: DOI arXiv
Shifman, Misha (ed.) et al., From fields to strings: Circumnavigating theoretical physics. Ian Kogan memorial collection. 3 Vols. River Edge, NJ: World Scientific (ISBN 981-256-000-9/Vol. 1/hbk; 981-256-001-7/Vol. 2/hbk; 981-256-114-5/Vol. 3/hbk; 981-238-955-5/set). 879-922 (2005).
PDF BibTeX XML Cite
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, 442-457 (2003).
MSC:  68T15 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Rovan, Branislav (ed.) et al., Mathematical foundations of computer science 2003. 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25–29, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40671-9/pbk). Lect. Notes Comput. Sci. 2747, 169-178 (2003).
MSC:  68Q25 03B25 03B35
PDF BibTeX XML Cite
Full Text: DOI
Fukuma, Masafumi (ed.) et al., String theory. Proceedings of the 17th Nishinomiya Yukawa memorial symposium, November 12–13, 2002, Nishinomiya, Japan. Kyoto: Progress of Theoretical Physics. Prog. Theor. Phys., Suppl. 152, 1-14 (2003).
MSC:  81T30 83E15
PDF BibTeX XML Cite
Full Text: DOI
Păun, Gheorghe (ed.) et al., Current trends in theoretical computer science. Entering the 21st century. Based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS), 1992–2000. Singapore: World Scientific (ISBN 981-02-4473-8). 303-326 (2001).
MSC:  68T15 03B35
PDF BibTeX XML Cite
Robinson, Alan (ed.) et al., Handbook of automated reasoning. In 2 vols. Amsterdam: North-Holland/ Elsevier; 0-444-50812-0 (vol. 2); 0-444-50813-9 (set)). 611-706 (2001).
Reviewer: N.Zamov (Kazan)
MSC:  03B35 68T15 03-02 68-02
PDF BibTeX XML Cite
Casciaro, B. (ed.) et al., Recent developments in general relativity. Proceedings of the 13th Italian conference on general relativity and gravitational physics, Cala Corvino-Monopoli, (Bari), Italy, September 21-25, 1998. Milan: Springer. 19-24 (2000).
MSC:  83E30 81T30 83E05
PDF BibTeX XML Cite
Bibel, Wolfgang (ed.) et al., Automated deduction. A basis for applications. Vol. 1: Foundations, calculi and methods. Dordrecht: Kluwer Academic Publishers; 0-7923-5132-0 (set)). Appl. Log. Ser. 8, 265-289 (1998).
MSC:  68T15
PDF BibTeX XML Cite
Palamidessi, Catuscia (ed.) et al., Principles of declarative programming. 10th international symposium, PLILP ’98. Held jointly with the 6th international conference, ALP ’98, Pisa, Italy, September 16–18, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1490, 266-281 (1998).
MSC:  68Q42
PDF BibTeX XML Cite
Nipkow, Tobias (ed.), Rewriting techniques and applications. 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1379, 181-195 (1998).
PDF BibTeX XML Cite
Nipkow, Tobias (ed.), Rewriting techniques and applications. 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1379, 121-135 (1998).
MSC:  03B35 68Q42
PDF BibTeX XML Cite
Hanus, Michael (ed.) et al., Algebraic and logic programming. 6th international joint conference, ALP ’97 - HOA ’97, Southampton, GB, September 3–5, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1298, 61-75 (1997).
Reviewer: N.Zamov (Kazan’)
MSC:  03B40 68Q42
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