EVA STAR Trefferanzeige

Volltext 2011,15_pdfa.pdf1.pdf (675 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-225138
Titel A Computer-Assisted Proof of the Bellman-Ford Lemma
Autor Schmitt, Peter H.
Institution Fakultät für Informatik (INFORMATIK)
Institut für Theoretische Informatik (ITI)
Dokumenttyp Buch
Verlag Karlsruhe
Jahr 2011
Serie Karlsruhe Reports in Informatics (früher: Interner Bericht. Fakultät für Informatik, Karlsruher Institut für Technologie) ; 2011,15
ISSN: 2190-4782