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
(who)
Universität Augsburg
(when)
2005
Event
Veröffentlichung
(where)
Berlin [u.a.]
(who)
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
14.08.2025, 10:45 AM CEST

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)