First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic) (2026. x, 246 S. X, 246 p. 10 illus., 3 illus. in color. 235 mm)
  • 洋書
  • ポイントキャンペーン

First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic) (2026. x, 246 S. X, 246 p. 10 illus., 3 illus. in color. 235 mm)  Hardcover,  言語:ENG

Leitsch, Alexander/Cerna, David Michael/Lolic, Anela

  • ウェブストア価格 ¥44,063(本体¥40,058)
  • SPRINGER, BERLIN; AUSTRIAN SCIENCE FUND; SPRINGER(2025/11発売)
  • ポイント 2,000pt
  • 海外からお取り寄せ(通常6~9週間)
The Resolution Calculus (Texts in Theoretical Computer Science. an Eatcs Series) (Reprint)
  • 洋書
  • ポイントキャンペーン

The Resolution Calculus (Texts in Theoretical Computer Science. an Eatcs Series) (Reprint)  Paperback,  言語:ENG

Leitsch, Alexander

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer Verlag(2012/07発売)
  • ポイント 545pt
  • 海外取次在庫
Methods of Cut-Elimination (Trends in Logic) (2011)
  • 洋書
  • ポイントキャンペーン

Methods of Cut-Elimination (Trends in Logic) (2011)  Paperback,  言語:ENG

Baaz, Matthias/ Leitsch, Alexander

  • ウェブストア価格 ¥24,004(本体¥21,822)
  • Springer(2013/02発売)
  • ポイント 1,090pt
  • 海外取次在庫
Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, Volume 713) (2007. 372 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, Volume 713) (2007. 372 S. 235 mm)  Paperback

Herausgeber: Gottlob, Georg, Mundici, Daniele, Leitsch, Alexander

  • ウェブストア価格 ¥13,767(本体¥12,516)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 625pt
  • 海外取次在庫
Automated Reasoning : Proceedings of the First International Joint Conference, Ijcar 2001 Siena, Italy, June 18-23, 2001 (Lecture Notes in Computer Sc
  • 洋書
  • ポイントキャンペーン

Automated Reasoning : Proceedings of the First International Joint Conference, Ijcar 2001 Siena, Italy, June 18-23, 2001 (Lecture Notes in Computer Sc  Paperback,  言語:ENG

Gore, Rajeev (EDT)/ Leitsch, Alexander (EDT)/ Nipkow, Tobias (EDT)

  • Springer Verlag(2001/08発売)
  • ご注文いただけません
Automated Model Building (Applied Logic Series)
  • 洋書
  • ポイントキャンペーン

Automated Model Building (Applied Logic Series)  Paperback,  言語:ENG

Caferra, Ricardo/ Leitsch, Alexander/ Peltier, Nicolas

  • ウェブストア価格 ¥37,098(本体¥33,726)
  • Springer(2010/12発売)
  • ポイント 1,685pt
  • 海外取次在庫
Computational Logic and Proof Theory : Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993 Proceedings (Lecture Notes in Com
  • 洋書
  • ポイントキャンペーン

Computational Logic and Proof Theory : Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993 Proceedings (Lecture Notes in Com  Paperback,  言語:ENG

Gottlob, Georg/ Leitsch, Alexander/ Mundici, Daniele (EDT)

  • Springer Verlag(1993/09発売)
  • ご注文いただけません