Yazar
Costantini, Stefania. editor.
Format:
Electronic Resources
Alıntı:
applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other
Yazar
Lachiche, Nicolas. editor.
Format:
Electronic Resources
Alıntı:
Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6
View Other Search Results
Yazar
Blazy, Sandrine. editor.
Format:
Electronic Resources
Alıntı:
Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015
Yazar
Bouajjani, Ahmed. editor.
Format:
Electronic Resources
Alıntı:
, Paris, France, January 15–17, 2017, Proceedings / Bouajjani, Ahmed. editor.
Yazar
Liu, Shaoying. editor.
Format:
Electronic Resources
Alıntı:
, Paris, France, November 6, 2015. Revised Selected Papers / Liu, Shaoying. editor.
Yazar
Giannakopoulou, Dimitra. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France
Yazar
Dubois, Catherine. editor.
Format:
Electronic Resources
Alıntı:
, France, June 27-29, 2018, Proceedings / Dubois, Catherine. editor.
Yazar
Serrano, Manuel. editor.
Format:
Electronic Resources
Alıntı:
Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France
Yazar
Canal, Carlos. editor.
Format:
Electronic Resources
Alıntı:
, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / Canal, Carlos. editor.
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / Butler, Michael. editor.
Yazar
Bensalem, Saddek. editor.
Format:
Electronic Resources
Alıntı:
of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings / Bensalem, Saddek. editor.
Yazar
Escobar, Santiago. editor.
Format:
Electronic Resources
Alıntı:
Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers / Escobar, Santiago. editor.
Arama Sonuçlarını Sınırlandır
Daraltılmış: