Toggle navigation
English
Deutsch
Deutsch
English
Deutsch
Einloggen
Toggle navigation
Dokumentanzeige
Startseite
_Andere Einrichtungen
Publikationsnachweise
Dokumentanzeige
Startseite
_Andere Einrichtungen
Publikationsnachweise
Dokumentanzeige
JavaScript is disabled for your browser. Some features of this site may not work without it.
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
Erweiterte Suche
Suche in OPARU
In dieser Sammlung
Browsen
Gesamter Bestand
Bereiche & Sammlungen
Personen
Institutionen
Publikationstyp
Ulmer Reihen & Zeitschriften
DDC-Sachgruppen
EU-Projekte Ulm
DFG-Projekte Ulm
Weitere Projekte Ulm
Mein Benutzerkonto
Einloggen
Registrieren
Statistik
Benutzungsstatistik