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