Στον περιηγητή σας απενεργοποιήθηκε το JavaScript. Αν το ενεργοποιήσετε θα μπορείτε να χρησιμοποιήσετε τις προχωρημένς λειτουργίες του PONS Online (ασκήσεις λεξιλογίου κ.α.).

Γερμανικά » Αγγλικά

Μεταφράσεις για „Satisfiability“ στο λεξικό Γερμανικά » Αγγλικά

(Μετάβαση προς Αγγλικά » Γερμανικά)

Παραδείγματα από το διαδίκτυο (μη ελεγχόμενα από το λεξικογραφικό τμήμα)

Inhalt

Dieses Seminar beschäftigt sich mit der automatischen Überprüfung der Erfüllbarkeit (Satisfiability) von Formeln.

Hierbei werden unterschiedliche Logiken betrachtet, z.B. reine Aussagenlogik, aber auch Erweiterungen wie Quantified Boolean Formulae oder SAT Modulo Theories.

verify.rwth-aachen.de

Contents

The focus of this seminar is automatic satisfiability checking of formulae.

Here we consider several logics, e.g., pure propositional logic, but also extensions like quantified boolean formulae or SAT modulo theories.

verify.rwth-aachen.de

Θέλετε να προσθέσετε μια λέξη, φράση ή μετάφραση?

Καταχωρίστε νέο λήμμα.

Αναζήτηση στο λεξικό

Γερμανικά

Μεταφράσεις για „Satisfiability“ στο λεξικό Γερμανικά » Αγγλικά

Παραδείγματα από το διαδίκτυο (μη ελεγχόμενα από το λεξικογραφικό τμήμα)

Αναζήτηση στο λεξικό

Εξωτερικές υπηρεσίες

Επικοινωνία

Ασκήσεις λεξιλογίου

Synonyms

Ιστορικό αναζήτησης