Learning Union of Integer Hypercubes with Queries: (with Applications to Monadic Decomposition)

von Markgraf, Oliver
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)

Disputatio philologico-theologica, continens observationes ad diversa S.S. loca

von Bashuysen, Heinrich Jakob von
Veröffentlicht 1720

Strategic dimensions of the SME system in Romania in the context of the European strategic framework

von Popescu, Delia Mioara
Veröffentlicht in Principles of microeconomics (2016)