1～2件／全2件 セーフサーチON
  •  
Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
  • 洋書電子書籍
  • 電子書籍

Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory  言語：ENG

Schuster, Peter M. (EDT)/Seisenberger, Monika (EDT)/Weiermann, Andreas (EDT)

  • 価格 ¥34,405（本体¥31,278）
  • Springer（2020/01/01発売）
  • ポイント 312pt　（実際に付与されるポイントはご注文内容確認画面でご確認下さい）
Mathesis Universalis, Computability and Proof〈1st ed. 2019〉
  • 洋書電子書籍
  • 電子書籍

Mathesis Universalis, Computability and Proof〈1st ed. 2019〉  言語：ENG

Centrone, Stefania (EDT)/Negri, Sara (EDT)/Sarikaya, Deniz (EDT)/Schuster, Peter M. (EDT)

  • 価格 ¥22,261（本体¥20,238）
  • Springer（2019/10/25発売）
  • ポイント 202pt　（実際に付与されるポイントはご注文内容確認画面でご確認下さい）
1～2件／全2件
  •