On verifed computation in combinatorial optimization

Link:
Autor/in:
Verlag/Körperschaft:
Hamburg University of Technology
Erscheinungsjahr:
2005
Medientyp:
Text
Schlagworte:
  • 004: Informatik
  • 510: Mathematik
Quellsystem:
TUHH Open Research

Interne Metadaten
Quelldatensatz
oai:tore.tuhh.de:11420/8665