KIT | KIT-Bibliothek | Impressum | Datenschutz

A Comparison of the Moore and Miranda Existence Tests

Frommer, A.; Lang, B.; Schnurr, Marco


Zugehörige Institution(en) am KIT Institut für Angewandte und Numerische Mathematik (IANM)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2004
Sprache Englisch
Identifikator ISSN: 0010-485X
KITopen-ID: 1000012528
Erschienen in Computing (Wien)
Verlag Springer
Band 72
Seiten 349-354
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page