Interaktives Theorembeweisen - Anwendungen in der Softwaretechnik

Erstveröffentlichung
1998
Authors
Reif, Wolfgang
Wissenschaftlicher Artikel


Published in
Künstliche Intelligenz ; 12 (1998), 4. - S. 42-48. - eISSN 0170-4516
Subject headings
[DDC subject group]: DDC 000 / Computer science, information & general works
Metadata
Show full item record