1～2件／全2件 セーフサーチON
  •  
Connecting with Computability〈1st ed. 2021〉 : 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings
  • 洋書電子書籍
  • 電子書籍

Connecting with Computability〈1st ed. 2021〉 : 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings  言語：ENG

De Mol, Liesbeth (EDT)/Weiermann, Andreas (EDT)/Manea, Florin (EDT)/Fernández-Duque, David (EDT)

  • 価格 ¥10,117（本体¥9,198）
  • Springer（2021/07/01発売）
  • ポイント 91pt　（実際に付与されるポイントはご注文内容確認画面でご確認下さい）
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　（実際に付与されるポイントはご注文内容確認画面でご確認下さい）
1～2件／全2件
  •