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週間)