Hauptmenü
  • Autor
    • Schlaipfer, Matthias
  • TitelDeterminization of Boolean relations using interpolants
  • Datei
  • Erscheinungsjahr2014
  • BeschreibungIV, 88 S.
  • BeschreibungIll., graph. Darst.
  • ZugriffsrechteAuch außerhalb des TU-Netzes nutzbar