語系
Clerbout, Nicolas.
概要
作品: | 2 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Linking Game-Theoretical Approaches with Constructive Type Theory = Dialogical Strategies, CTT demonstrations and the Axiom of Choice /
by:
SpringerLink (Online service); Clerbout, Nicolas.; Rahman, Shahid.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Immanent Reasoning or Equality in Action = A Plaidoyer for the Play Level /
by:
Klev, Ansten.; Rahman, Shahid.; McConaughey, Zoe.; Clerbout, Nicolas.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Linking game-theoretical approaches with constructive type theory = dialogical strategies, CTT demonstrations and the axiom of choice /
by:
Clerbout, Nicolas.; SpringerLink (Online service); Rahman, Shahid.
(書目-語言資料,印刷品)