「 Logic 」を閲覧中 (1245 件の結果のうち 981 ～ 1000 を表示中)

科目

  • Computer Science Logic

    20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
    条件： Zoltán Ésik
    • 版: 1st
    • 形式: 固定
    • ¥5,083 JPY 時から
      付加価値税込み価格

  • Theory and Applications of Satisfiability Testing

    8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
    条件： Fahiem Bacchus; ‎ToWalsh
    • 版: 1st
    • 形式: 固定
    • ¥2,824 JPY 時から
      付加価値税込み価格

  • FORCING FOR MATHEMATICIANS

    条件： Nik Weaver
    • 形式: リフロー可能
    • ¥4,450 JPY
      付加価値税込み価格

  • The Proof is in the Pudding

    The Changing Nature of Mathematical Proof
    条件： Steven G. Krantz
    • 形式: 固定
    • ¥2,310 JPY 時から
      付加価値税込み価格

  • HOW TO MEASURE THE INFINITE

    Mathematics with Infinite and Infinitesimal Numbers
    条件： Vieri Benci; Mauro Di Nasso
    • 形式: リフロー可能
    • ¥16,088 JPY
      付加価値税込み価格

  • WITTGENSTEINIAN (adj.)

    Looking at the World from the Viewpoint of Wittgenstein's Philosophy
    • 形式: リフロー可能
    • ¥3,337 JPY 時から
      付加価値税込み価格

  • Towards Mathematical Philosophy

    Papers from the Studia Logica conference Trends in Logic IV
    条件： David Makinson; ‎Jacek Malinowski; ‎Heinrich Wansing
    • 版: 1st
    • 形式: 固定
    • ¥8,163 JPY 時から
      付加価値税込み価格

  • An Invitation to Applied Category Theory

    Seven Sketches in Compositionality
    条件： Brendan Fong; David I. Spivak
    • 形式: 固定
    • ¥7,531 JPY 時から
      付加価値税込み価格

  • Mathematical Problems from Applied Logic I

    Logics for the XXIst Century
    条件： Dov M. Gabbay; ‎Sergei S. Goncharov; ‎Michael Zakharyaschev
    • 版: 1st
    • 形式: 固定
    • ¥8,163 JPY 時から
      付加価値税込み価格

  • Probability Logics

    Probability-Based Formalization of Uncertain Reasoning
    条件： Zoran Ognjanović; Miodrag Rašković; Zoran Marković
    • 形式: 固定
    • ¥7,137 JPY 時から
      付加価値税込み価格

  • Quantum Physics, Fuzzy Sets and Logic

    Steps Towards a Many-Valued Interpretation of Quantum Mechanics
    条件： Jarosław Pykacz
    • 形式: 固定
    • ¥3,594 JPY 時から
      付加価値税込み価格

  • Formal Aspects of Component Software

    16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings
    条件： Farhad Arbab; ‎SungShik Jongmans
    • 版: 1st
    • 形式: リフロー可能
    • ¥2,824 JPY 時から
      付加価値税込み価格

  • Mathematical Thinking and Writing: A Transition to Higher...

    条件： Maddox, Randall
    • 形式: 固定
    • ¥18,313 JPY
      付加価値税込み価格

  • Hilary Putnam on Logic and Mathematics

    条件： Geoffrey Hellman
    • 形式: リフロー可能
    • ¥2,824 JPY 時から
      付加価値税込み価格

  • Graham Priest on Dialetheism and Paraconsistency

    • 形式: リフロー可能
    • ¥8,163 JPY 時から
      付加価値税込み価格

  • Logical Studies of Paraconsistent Reasoning in Science an...

    条件： Holger Andreas
    • 形式: 固定
    • ¥5,597 JPY 時から
      付加価値税込み価格

  • A Missing Link in Cybernetics

    Logic and Continuity
    条件： Alex M. Andrew
    • 形式: 固定
    • ¥6,623 JPY 時から
      付加価値税込み価格

  • An Introduction to the Language of Mathematics

    条件： Frédéric Mynard
    • 形式: リフロー可能
    • ¥2,824 JPY 時から
      付加価値税込み価格

  • Logic for Programming, Artificial Intelligence, and Reaso...

    14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
    条件： Nachum Dershowitz; ‎Andrei Voronkov
    • 版: 1st
    • 形式: 固定
    • ¥2,824 JPY 時から
      付加価値税込み価格

  • Handbook of Research on Advances and Applications of Fuzz...

    • 形式: リフロー可能
    • ¥74,448 JPY
      付加価値税込み価格
1245 件の結果のうち 981 ～ 1000 を表示中
Page links