Interaktives Theorembeweisen - Anwendungen in der Softwaretechnik

Erstveröffentlichung
1998
Autoren
Reif, Wolfgang
Wissenschaftlicher Artikel


Erschienen in
Künstliche Intelligenz ; 12 (1998), 4. - S. 42-48. - eISSN 0170-4516
Schlagwörter
[DDC Sachgruppe]: DDC 000 / Computer science, information & general works
Metadata
Zur Langanzeige