Results for prover translation from English to German

prover
beweis

flow prover
prüfnormal

prover a:
es ist ein

meter prover
kubizierglocke

interactive theorem prover
interaktiver theorem-prüfer

eyes – irritation (1 prover)
müde augen (4/3). 115

non-monotonic theorem prover
nichtmonotones beweisprogramm

dreams – change of (1 prover)
haut der hände trocken (1/7).

mind – irritability, pain, during (1 prover)
gleichgültigkeit gegen die eigene familie (9/1, 2, 3, 5).

in computer science, coq is an interactive theorem prover.
coq ist ein programm zum maschinengestützten beweisen mathematischer aussagen.

the first day is ‘o’. 11 is the only male prover.
der erste prüfungstag trägt die ziffer „null.“ der einzige männliche prüfer trägt die nummer 11.

sphere launcher for the standard prover tube of a volume counter.
kugelabgabevorrichtung für standardprüfrohr eines volumenzählers.

at the end of each symptom we have included the prover’s number.
in klammer ist nach dem jeweiligen symptom die probandinnennummer, sowie nach dem schrägstrich der tag nach beginn der ersten einnahme der prüfsubstanz angeführt.

prover 3: i am only scraping because that is what i am supposed to do.
es stört mich, weil ich nicht weiß, gehöre ich nach links oder rechts.

homeopaths about trying to figure out how to more completely deal with it. prover # 6
zu wiederholen.

following this, he worked with moore, and matt kaufmann on another theorem prover called acl2.
mit kaufmann und moore entwickelte er ein weiteres automatisches beweissystem acl2 (a computational logic for applicative common lisp).

he is more clear in mind and able to organise in a better way. perspiration on the chest prover 7.
hier und jetzt war nichts anderes zu tun als zu brüten, um den nachwuchs in die welt zu bringen.

if time is unclear, or not recorded by the prover, it is represented as xx:xx:xx.
donnerwetter ist mir nicht möglich, weil es mich nicht berührt.

a retarder/prover is a valuable instrument in any bakery or pastry shop, but it is also very useful in the catering industry.
der gärunterbrecher ist nicht nur ein äußerst nützliches gerät in bäckereien und konditoreien, sondern auch in der gastronomie. mit diesem gerät kann ein teig bei kontrollierter temperatur und feuchtigkeit tagsüber oder während der nacht zum gehen gebracht werden.

• ...when i talk to the prover , she seemed not to have any awareness of what is going on. (22)
es ist irgendetwas, was ich nicht aushalten will!