/
Browsing by Author Seipel, Dietmar
Showing results 3 to 6 of 6
Issue Date | Title | Author(s) | 2017 | Constraint Solving on Hybrid Systems | Roque, Pedro; Pedro, Vasco; Abreu, Salvador |
2018 | Constraint Solving on Hybrid Systems | Roque, Pedro; Pedro, Vasco |
2018 | Declarative Programming and Knowledge Management | Seipel, Dietmar; Hanus, Michael; Abreu, Salvador |
4-Jul-2017 | Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies | Seipel, Dietmar; Nogatz, Falco; Abreu, Salvador |
Showing results 3 to 6 of 6
|