Logic を閲覧中 1482 件の結果のうち 761 ～ 780

  • 電子書籍
    • Springer
    • リフロー可能なレイアウト

    開始額:¥5,204 JPY付加価値税込み価格

    詳細を表示
  • 電子書籍
    • Mark V. Sapir
    • Springer
    • リフロー可能なレイアウト

    開始額:¥2,891 JPY付加価値税込み価格

    詳細を表示
  • 電子書籍
    Coq’Art: The Calculus of Inductive Constructions
    • Yves Bertot; Pierre Castéran
    • Springer
    • 固定レイアウト

    開始額:¥5,204 JPY付加価値税込み価格

    詳細を表示
  • 電子書籍
    Epistemics on Uncertainty, Expectation and Risk in Rational Behavior
    • Kofi Kissi Dompere
    • Springer
    • 固定レイアウト

    開始額:¥5,204 JPY付加価値税込み価格

    詳細を表示
  • 電子書籍
    Eine geführte Reise durch Kurt Gödels historischen Beweis
    • Dirk W. Hoffmann
    • Spektrum Akademischer Verlag
    • 固定レイアウト

    開始額:¥1,575 JPY付加価値税込み価格

    詳細を表示
  • 電子書籍
    Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
    • Author
    • Springer
    • 固定レイアウト

    開始額:¥2,891 JPY付加価値税込み価格

    詳細を表示
  • 電子書籍
    • Eric Badouel; Luca Bernardinello; Philippe Darondeau
    • Springer
    • 固定レイアウト

    開始額:¥4,205 JPY付加価値税込み価格

    詳細を表示
  • 電子書籍
    • Achim Mees
    • Springer Spektrum
    • 固定レイアウト

    開始額:¥3,154 JPY付加価値税込み価格

    詳細を表示
  • 電子書籍
    • Ralf Schindler
    • Springer
    • 固定レイアウト

    開始額:¥1,052 JPY付加価値税込み価格

    詳細を表示
  • 電子書籍
    • Ekaterina Ovchinnikova
    • Atlantis Press
    • 固定レイアウト

    開始額:¥5,204 JPY付加価値税込み価格

    詳細を表示
  • 電子書籍
    Exploring Independence and Truth
    • Ralf Schindler
    • Springer
    • リフロー可能なレイアウト

    開始額:¥4,731 JPY付加価値税込み価格

    詳細を表示
  • 電子書籍
    8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
    • 1st 版
    • Wendy MacCaull; ‎Michael Winter; ‎Ivo Düntsch
    • Springer
    • 固定レイアウト

    開始額:¥2,891 JPY付加価値税込み価格

    詳細を表示
  • 電子書籍
    Volume 1 - Dimostrazioni e modelli al primo ordine
    • Vito Michele Abrusci; Lorenzo Tortora de Falco
    • Springer
    • 固定レイアウト

    開始額:¥1,577 JPY付加価値税込み価格

    詳細を表示
  • 電子書籍
    A Constructive Type-theoretical Approach
    • Giuseppe Primiero
    • Springer
    • 固定レイアウト

    開始額:¥9,409 JPY付加価値税込み価格

    詳細を表示
  • 電子書籍
    • Springer
    • リフロー可能なレイアウト

    開始額:¥7,307 JPY付加価値税込み価格

    詳細を表示
  • 電子書籍
    The Mathematics of Truth and Proof
    • 1st 版
    • John Stillwell
    • A K Peters/CRC Press (T&F)
    • リフロー可能なレイアウト

    ¥10,508 JPY付加価値税込み価格

    詳細を表示
  • 電子書籍
    Logic and the History of Mathematics
    • John Stillwell
    • Princeton University Press
    • 固定レイアウト

    ¥8,411 JPY付加価値税込み価格

    詳細を表示
  • 電子書籍
    From Regular Grammars to Turing Machines
    • 2nd 版
    • Władysław Homenda; Witold Pedrycz
    • De Gruyter
    • リフロー可能なレイアウト

    ¥13,490 JPY付加価値税込み価格

    詳細を表示
  • 電子書籍
    • Ulrich Felgner
    • Birkhäuser
    • 固定レイアウト

    開始額:¥7,359 JPY付加価値税込み価格

    詳細を表示
  • 電子書籍
    From Categorical Computability to Computable Categories
    • Dusko Pavlovic
    • Springer
    • リフロー可能なレイアウト

    開始額:¥3,680 JPY付加価値税込み価格

    詳細を表示