Books in category Mathematics – History & Philosophy

  • Lenses and Waves

    Lenses and Waves
    Fokko Jan Dijksterhuis

    This book discusses the development of Huygens' wave theory, reconstructing the winding road that eventually led to Traité de la Lumière. For the first time, the full range of manuscript sources is taken into account.

  • Automata Implementation

    Automata Implementation
    Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi

    This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Implementing Automata, WIA'98, held in Rouen, France, in September 1998.

  • Ideals Varieties and Algorithms

    Ideals, Varieties, and Algorithms
    David A. Cox, John Little, DONAL OSHEA

    This book details the heart and soul of modern commutative and algebraic geometry.

  • Qualitative and Quantitative Practical Reasoning

    Qualitative and Quantitative Practical Reasoning
    Dov Gabbay

    This book constitutes the refereed proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, held in Bad Honnef, Germany, in June 1997.

  • Artificial Intelligence in Logic Design

    Artificial Intelligence in Logic Design
    Svetlana N. Yanushkevich

    Second, the book reveals new horizons of logic design tools on the technologies of the near future. Finally, the contributors of the book are twenty recognizable leaders in the field from the seven research centres.

  • Nonmonotonic and Inductive Logic

    Nonmonotonic and Inductive Logic
    Klaus P. Jantke, Peter H. Schmitt

    This proceedings volume contains revised and reviewed papers based on talks presented at the first International Workshop on Nonmonotonic and Inductive Logic held in Karlsruhe, December 1990.

  • Automata Implementation

    Automata Implementation
    Oliver Boldt, Helmut Jürgensen

    This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Implementing Automata, WIA'99, held in Potsdam, Germany, in July 1999.

  • Unexpected Links Between Egyptian and Babylonian Mathematics

    Unexpected Links Between Egyptian and Babylonian Mathematics
    J ran Friberg

    In this book, it is shown that the methods developed by the author for the close study of mathematical cuneiform texts can also be successfully applied to all kinds of Egyptian mathematical texts, hieratic, demotic, or Greek-Egyptian.

  • Fuzzy Sets and Systems IFSA 2003

    Fuzzy Sets and Systems – IFSA 2003
    Taner Bilgic, Bernard De Baets, Okays Kaynak

    The refereed proceedings of the 10th International Fuzzy Systems Association World Congress, IFSA 2003, held in June/July 2003 in Istanbul, Turkey.

  • Computer Science Logic

    Computer Science Logic
    Luke Ong, European Association for Computer Science Logic. Conference

    This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford, UK in August 2005.

1 2 3 4 5 Next >