ISAR: An interactive system for algebraic implementation proofs

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch

Bibliographic citation
In: Lecture Notes in Computer Science, 624, S. 451-453

Classification
Allgemeines, Wissenschaft

Event
Veröffentlichung
(where)
Augsburg, Berlin [u.a.]
(who)
Universität Augsburg, Springer
(when)
2005
Creator
Bauer, Bernhard
Hennicker, Rolf

DOI
10.1007/bfb0013084
URN
urn:nbn:de:bvb:384-opus4-445793
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
25.03.2025, 1:54 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

Time of origin

  • 2005

Other Objects (12)