„determinacy inference“

Suchergebnisse

1 Treffer

• Correct Reasoning about Logic Programs
  Kriener, Jael 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik