Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Logic Program Synthesis via Proof Planning

Basin, D., Kraan, I., & Bundy, A. (1992). Logic Program Synthesis via Proof Planning. In K.-K. Lau, & T. Clement (Eds.), Logic Program Synthesis and Transformation (pp. 1-14). Berlin: Springer.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-000E-1609-0 Versions-Permalink: https://hdl.handle.net/21.11116/0000-000E-1665-8
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Basin, David1, Autor           
Kraan, Ina2, Autor
Bundy, Alan2, Autor
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              
2External Organizations, ou_persistent22              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 1992
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: DOI: 10.1007/978-1-4471-3560-9_1
BibTex Citekey: Basin-et-al_LOPSTR92
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: International Workshop on Logic Program Synthesis and Transformation
Veranstaltungsort: Manchester, UK
Start-/Enddatum: 1992-07-02 - 1992-07-03

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Logic Program Synthesis and Transformation
  Kurztitel : LOPSTR 1992
  Untertitel : Proceedings of LOPSTR 92
Genre der Quelle: Konferenzband
 Urheber:
Lau, Kung-Kiu1, Herausgeber
Clement, Tim1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Berlin : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 1 - 14 Identifikator: ISBN: 978-3-540-19806-2

Quelle 2

einblenden:
ausblenden:
Titel: Workshops in Computing
Genre der Quelle: Reihe
 Urheber:
van Rijsbergen, C.J., Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: - Identifikator: ISSN: 1431-1682