Wörterbücher
Forum
Kontakte

Google | Forvo | +
zu Phrasen

automatic theorem prover for satisfiability modulo theories

Betonungen
KI автоматический доказатель теорем о выполнимости формул в теориях (Alex_Odeychuk)
automatic theorem prover for satisfiability modulo theories
: 2 Phrasen in 1 Thematik
Künstliche Intelligenz2

Hinzufügen | Fehler melden | Kurzlink auf diese Seite