English | German | |
---|---|---|
Technical | ||
Technical | prover | Prüfgerät [n] |
English | German | |
---|---|---|
Computer | ||
Computer | theorem prover | Theorembeweiser [m] |
Computer | theorem prover | theorembeweisendes Programm [n] |
Industry | ||
Industry | ball prover flow measuring device | Hubkolbenzähler [m] |