FR Informatik

Optimierte Transformation von Klauselnormalformen und ihre Anwendung (ausgezeichnet mit dem Skolem-Award 2017/1997)

Kolloquiumsvortrag von Prof. Dr. Georg Rock

Ort: Schneidershof X15

Fachbereich Informatik

  • Schneidershof
  • 54293 Trier

Fachrichtungen

Rechtliches

Service

back-to-top nach oben