Not logged in.
Quick Search - Contribution
Contribution Details
Type | Conference or Workshop Paper |
Scope | Discipline-based scholarship |
Published in Proceedings | No |
Title | Transformational Development of Logic Programs from Executable Specifications - Schema-Based Visual and Textual Composition of Logic Programs |
Organization Unit | |
Authors |
|
Item Subtype | Original Work |
Refereed | Yes |
Status | Published in final form |
Event Title | Entwicklung, Test und Wartung deklarativer KI-Programme |
Series Name | GMD Studien |
Publisher | Gesellschaft für Mathematik und Datenverarbeitung |
Export |
BibTeX
EP3 XML (ZORA) |