Dependently typed set theory

von Brown, Chad E.
Veröffentlicht 2006

Automated reasoning in higher-order logic: set comprehension and extensionality in church`s type theory

von Brown, Chad E.
Veröffentlicht 2007

Trade adjustment in the WTO system : are more safeguards the answer?

von Brown, Chad P.
Veröffentlicht in Oxford review of economic policy (2007)

Pumpkin House : das Haus der 1000 Kürbisse

von Brown, Chad P.
Veröffentlicht 2021

Lash 1.0 (System Description)

von Brown, Chad E.
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

US anti-dumping : much ado about zeroing

von Brown, Chad P.
Veröffentlicht in Unfinished business? (2011)

Prolog Technology Reinforcement Learning Prover (System Description)

von Zombori, Zsolt
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)

Cut-simulation in impredicative logics

von Benzmüller, Christoph
Veröffentlicht 2006

MECHANISM OF THE OPERATING CONDITIONS ON DISPERSIVE MIXING AND HUMIDITY OF POLYMER IN A TWIN SCREW EXTRUSION PROCESS

von Ema, Masuma Khatoon
Veröffentlicht in SPE ANTEC (2017 : Anaheim, Calif.) SPE ANTEC 2017 ; Volume 3 of 3 (2020)