ISAR: An interactive system for algebraic implementation proofs

Sprache
Englisch
Identifier
1239559984

Beteiligte Personen und Organisationen
Bauer, Bernhard
Hennicker, Rolf

DOI
10.1007/bfb0013084
URN
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
26.01.2023, 13:57 MEZ

Beteiligte

Ähnliche Objekte (12)