Englisch » Deutsch

Übersetzungen für „theorem proving“ im Englisch » Deutsch-Wörterbuch

(Springe zu Deutsch » Englisch)

Beispiele aus dem Internet (nicht von der PONS Redaktion geprüft)

Isabelle is a popular generic theorem proving environment.

Isabelle is developed from the theorem proving group together with Cambridge University

V-Modell XT:

Isabelle ist ein weit verbreitetes, generisches, und interaktives Beweissystem.

Isabelle wird von der Theorem Beweiser Gruppe in Zusammenarbeit mit der Cambridge University entwickelt.

V-Modell XT:

Weakest preconditions

My research interest include automated deduction ( theorem proving ) ;

semantics, specification, and verification of programs;

Weakest preconditions

Meine Forschungsinteressen beinhalten Automatisches Schließen (Theorembeweisen);

Semantiken, Spezifikation und Verifikation von Programmen;

the description of teamwork

the page about automated theorem proving

Footline

zur Erklärung von Teamwork

zur Seite über das Finden mathematischer Beweise

Fusszeile

Möchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?

Sende uns gern einen neuen Eintrag.

Englisch