Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein: Login

Treffer: An Extensible Encoding of Object-oriented Data Models in hol

Title:

An Extensible Encoding of Object-oriented Data Models in hol

Authors:

Brucker, Achim D., Wolff, Burkhart

Source:

Journal of Automated Reasoning. November 2008 41(3-4):219-249

Database:

Springer Nature Journals

Links