Interaktives Theorembeweisen - Anwendungen in der Softwaretechnik

Erstveröffentlichung
1998
Metadata only
Search for full text
Wissenschaftlicher Artikel


Authors
Reif, Wolfgang
Published in
Künstliche Intelligenz ; 12 (1998), 4. - S. 42-48. - eISSN 0170-4516
Dewey Decimal Group
DDC 000 / Computer science, information & general works
Metadata
Show full item record