Bowles, Juliana.
Overview
| Works: | 2 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Logic-based program synthesis and transformation34th international symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024 : proceedings /
by:
(1998 :); Bowles, Juliana.; SpringerLink (Online service); Søndergaard, Harald.
(Electronic resources)
From data to models and back10th International Symposium, DataMod 2021, virtual event, December 6-7, 2021 : revised selected papers /
by:
(1998 :); Bowles, Juliana.; Broccia, Giovanna.; Pellungrini, Roberto.; SpringerLink (Online service)
(Electronic resources)
From data to models and back9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020 : revised selected papers /
by:
(1998 :); Bowles, Juliana.; Broccia, Giovanna.; Nanni, Mirco.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Theory of Computation.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Electronic data processing
Data mining
Logic programming
Computer software
Formal methods (Computer science)
Computer logic
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Artificial Intelligence.