Zugehörige Institution(en) am KIT | Institut für Nukleare Festkörperphysik (INFP) |
Publikationstyp | Buchaufsatz |
Publikationsjahr | 1992 |
Sprache | Englisch |
Identifikator | KITopen-ID: 150033358 |
HGF-Programm | 34.01.01 (Vor POF, LK 01) |
Seiten | 527-47 |
Erscheinungsvermerk | Adams, E. [Hrsg.] Scientific Computing with Automatic Result Verification Boston [u.a.] : Academic Press, 1992 |