「 Logic 」を閲覧中 (1246 件の結果のうち 41 ～ 60 を表示中)

科目

  • Relations and Kleene Algebra in Computer Science

    10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008, Proceedings
    条件： Rudolf Berghammer; ‎Bernhard Möller; ‎Georg Struth
    • 版: 1st
    • 形式: 固定
    • ¥5,083 JPY 時から
      付加価値税込み価格

  • Giuseppe Peano between Mathematics and Logic

    Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico Torino (Italy) October 2-3, 2008
    条件： Fulvia Skof
    • 版: 1st
    • 形式: 固定
    • ¥5,083 JPY 時から
      付加価値税込み価格

  • Mathematical Problems from Applied Logic II

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

  • The Complexity of Valued Constraint Satisfaction Problems

    条件： Stanislav Živný
    • 形式: 固定
    • ¥5,083 JPY 時から
      付加価値税込み価格

  • Brouwer meets Husserl

    On the Phenomenology of Choice Sequences
    条件： Mark van Atten
    • 形式: 固定
    • ¥8,163 JPY 時から
      付加価値税込み価格

  • Logica Universalis

    Towards a General Theory of Logic
    条件： JeanYves Beziau
    • 版: 1st
    • 形式: 固定
    • ¥3,337 JPY 時から
      付加価値税込み価格

  • Descriptive Complexity

    条件： Neil Immerman
    • 形式: 固定
    • ¥4,569 JPY 時から
      付加価値税込み価格

  • Implicit and Explicit Semantics Integration in Proof-Base...

    Communications of NII Shonan Meetings
    条件： Yamine AitAmeur; ‎Shin Nakajima; ‎Dominique Méry
    • 版: 1st
    • 形式: リフロー可能
    • ¥5,083 JPY 時から
      付加価値税込み価格

  • Scalable Uncertainty Management

    First International Conference, SUM 2007, Washington, DC, USA, October 10-12, 2007, Proceedings
    条件： H. Prade; V. Subrahmanian
    • 版: 1st
    • 形式: 固定
    • ¥2,824 JPY 時から
      付加価値税込み価格

  • Domain Theory, Logic and Computation

    Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
    条件： GuoQiang Zhang; ‎J. Lawson; ‎Ying Ming Liu
    • 版: 1st
    • 形式: 固定
    • ¥8,163 JPY 時から
      付加価値税込み価格

  • Modalities and Multimodalities

    条件： Walter Carnielli; Claudio Pizzi
    • 形式: 固定
    • ¥8,163 JPY 時から
      付加価値税込み価格

  • Four Lives

    A Celebration of Raymond Smullyan
    条件： Jason Rosenhouse; Raymond M. Smullyan
    • 形式: リフロー可能
    • ¥4,270 JPY
      付加価値税込み価格

  • A Geometry of Approximation

    Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
    条件： Piero Pagliani; Mihir Chakraborty
    • 形式: 固定
    • ¥16,379 JPY 時から
      付加価値税込み価格

  • L. E. J. Brouwer: Intuitionismus

    条件： Dirk van Dalen; David E. Rowe
    • 版: 2nd
    • 形式: 固定
    • ¥1,540 JPY 時から
      付加価値税込み価格

  • Aspects of Molecular Computing

    Essays Dedicated to Tom Head on the Occasion of His 70th Birthday
    条件： Natasha Jonoska; ‎Gheorghe Păun; ‎Grzegorz Rozenberg
    • 版: 1st
    • 形式: 固定
    • ¥2,824 JPY 時から
      付加価値税込み価格

  • More Sets, Graphs and Numbers

    A Salute to Vera Sòs and András Hajnal
    条件： Ervin Gyori; ‎Gyula O.H. Katona; ‎László Lovász
    • 版: 1st
    • 形式: 固定
    • ¥5,083 JPY 時から
      付加価値税込み価格

  • Developments in Language Theory

    10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
    条件： Oscar H. Ibarra; ‎Zhe Dang
    • 版: 1st
    • 形式: 固定
    • ¥2,824 JPY 時から
      付加価値税込み価格

  • Classical Mathematical Logic

    The Semantic Foundations of Logic
    条件： Richard L. Epstein
    • 形式: リフロー可能
    • ¥7,358 JPY 時から
      付加価値税込み価格

  • Two Applications of Logic to Mathematics

    条件： Gaisi Takeuti
    • 形式: 固定
    • ¥5,991 JPY
      付加価値税込み価格

  • Aspects of Complexity

    Minicourses in Algorithmics, Complexity and Computational Algebra. Mathematics Workshop, Kaikoura, January 7-15, 2000
    条件： Author
    • 版: 1st
    • 形式: 固定
    • ¥26,356 JPY
      付加価値税込み価格
1246 件の結果のうち 41 ～ 60 を表示中
Page links