Logic programming

Functional and logic programming = 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation = 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers / by: (書目-電子資源)

Web reasoning and rule systems = 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012 : proceedings / by: (書目-電子資源)

Logic for programming, artificial intelligence, and reasoning = 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings / by: (書目-電子資源)

Functional and logic programming = 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings / by: (書目-電子資源)

Declarative programming and knowledge management = Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 : revised selected papers / by: (書目-電子資源)

Web reasoning and rule systems = 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014 : proceedings / by: (書目-電子資源)

Inductive logic programming = 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013 : revised selected papers / by: (書目-電子資源)

Logic-based program synthesis and transformation = 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 : revised selected papers / by: (書目-電子資源)

Web reasoning and rule systems = 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015 : proceedings / by: (書目-電子資源)

Inductive logic programming = 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers / by: (書目-電子資源)

Functional and logic programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings / by: (書目-電子資源)

Inductive logic programming = 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers / by: (書目-電子資源)