Search Results for Vidal, Germán. - Narrowed by: Logic design.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dVidal$00252C$002bGerm$0025C3$0025A1n.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026te$003dILS$0026ps$003d300?
2024-11-06T15:11:18Z
Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197191
2024-11-06T15:11:18Z
2024-11-06T15:11:18Z
Author Vidal, Germán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32211-2">http://dx.doi.org/10.1007/978-3-642-32211-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185729
2024-11-06T15:11:18Z
2024-11-06T15:11:18Z
Author Alpuente, María. editor. Vidal, Germán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69166-2">http://dx.doi.org/10.1007/978-3-540-69166-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191936
2024-11-06T15:11:18Z
2024-11-06T15:11:18Z
Author Blume, Matthias. editor. Kobayashi, Naoki. editor. Vidal, Germán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12251-4">http://dx.doi.org/10.1007/978-3-642-12251-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>