Skip to content
VuFind
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
    • Sámegiella
    • Монгол
Advanced
  • Symbolic-Numeric Computation [...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Symbolic-Numeric Computation [electronic resource]: /

Symbolic-Numeric Computation [electronic resource]: /

41

Bibliographic Details
Main Authors: Wang, Dongming, Zhi, Lihong, SpringerLink (Online service)
Format:
Language:eng
Published: Basel : Birkhauser Verlag AG, 2007
Subjects:
Computable functions
Numerical analysis
Logic, Symbolic and mathematical
Online Access:http://dx.doi.org/10.1007/978-3-7643-7984-1
  • Holdings
  • Description
  • Similar Items
  • Staff View

Internet

http://dx.doi.org/10.1007/978-3-7643-7984-1

Similar Items

  • Handbook of Spatial Logics [electronic resource] /
    by: Aiello, Marco, et al.
    Published: (2007)
  • Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings /
    by: FroCoS 2007 (2007 : Liverpool, England), et al.
    Published: (2007)
  • Techniques of constructive analysis [electronic book]/
    by: 352960 Bridges, Douglas S., et al.
    Published: (2006)
  • Foundations of software science and computational structures [electronic resource]: 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings/
    by: FOSSACS 2007 (2007 : Braga, Portugal), et al.
    Published: (2007)
  • Foundations of software science and computational structures [electronic resource] : 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings/
    by: FOSSACS 2007 (2007 : Braga, Portugal), et al.
    Published: (2007)

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels
  • Course Reserves
  • New Items

Need Help?

  • Search Tips
  • Ask a Librarian
  • FAQs