Logic-based program synthesis and transformation 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018 : revised selected papers

Logic-based program synthesis and transformation 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018 : revised selected papers

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: LOPSTR Frankfurt am Main (VerfasserIn)
Weitere Verfasser: Mesnard, Fred (HerausgeberIn), Stuckey, Peter J. (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cham Springer [2019]
Cham
Schriftenreihe:Lecture notes in computer science 11408 : Theoretical computer science and general issues
Schlagworte:
Logics and Meanings of Programs
Software Engineering
Programming Languages, Compilers, Interpreters
Programming Techniques
Artificial Intelligence
Mathematical Logic and Formal Languages
Logic design
Software engineering
Computer science
Artificial intelligence
Programmverifikation
Logische Programmierung
Programmsynthese
Formale Methode
Programmtransformation
Konferenzschrift
Online-Zugang:DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Search Result 1
Logic-based program synthesis and transformation 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018 : revised selected papers

Logic-based program synthesis and transformation 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018 : revised selected papers

Veröffentlicht 2019
Tagungsbericht Buch
Zu den Favoriten
Gespeichert in:
Alle Versionen (2)

Ähnliche Einträge