本文に飛ぶ

年 〜
年

検索結果 35 件

Practical aspects of declarative languages : 17th international symposium, PADL 2015 : Portland, OR, USA, June 18-19, 2015 : proceedings : Jun 2015, Portland, OR. (Lecture Notes in Computer Science ; 9131)

Practical aspects of declarative languages : 17th international symposium, PADL 2015 : Portland, OR, USA, June 18-19, 2015 : proceedings : Jun 2015, Portland, OR. (Lecture Notes in Computer Science ; 9131)
紙図書
Springer[2015]<M17-16-401>
国立国会図書館
  • 件名...g--Congresses. Declarative programming. Declarative programming langu...

Practical aspects of declarative languages : 16th international symposium, PADL 2014 : San Diego, CA, USA, January 20-21, 2014 : proceedings : Jan 2014, San Diego, CA. (Lecture Notes in Computer Science ; 8324)

Practical aspects of declarative languages : 16th international symposium, PADL 2014 : San Diego, CA, USA, January 20-21, 2014 : proceedings : Jan 2014, San Diego, CA. (Lecture Notes in Computer Science ; 8324)
紙図書
Springerc2014.<M17-14-1761>
国立国会図書館

Practical aspects of declarative languages : 15th international symposium, PADL 2013 : Rome, Italy, January 21-22, 2013 : proceedings : Jan 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7752)

Practical aspects of declarative languages : 15th international symposium, PADL 2013 : Rome, Italy, January 21-22, 2013 : proceedings : Jan 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7752)
紙図書
Springerc2013.<M17-14-1296>
国立国会図書館

Practical aspects of declarative languages : 14th international symposium, PADL 2012 : Philadelphia, PA, USA, January 23-24, 2012 : proceedings : Jan 2012, Philadelphia, PA. (Lecture Notes in Computer Science ; 7149)

Practical aspects of declarative languages : 14th international symposium, PADL 2012 : Philadelphia, PA, USA, January 23-24, 2012 : proceedings : Jan 2012, Philadelphia, PA. (Lecture Notes in Computer Science ; 7149)
紙図書
Springerc2012.<M17-12-1908>
国立国会図書館

2016 1st CPSWeek workshop on declarative cyber-physical systems (DCPS 2016) : Vienna, Austria : 12 April 2016 : Apr 2016, Vienna, Austria.

2016 1st CPSWeek workshop on declarative cyber-physical systems (DCPS 2016) : Vienna, Austria : 12 April 2016 : Apr 2016, Vienna, Austria.
紙図書
IEEE[2016]<M17-18-353>
国立国会図書館

Declarative programming and knowledge management : declarative programming days, KDPD 2013 : unifying INAP, WFLP, and WLP : Kiel, Germany, September 11-13, 2013 : revised selected papers : 20th international conference on applications of declarative programming and knowledge management : 22nd international workshop on functional and (constraint) logic programming : 27th workshop on logic programming : scientific forum of the annual meeting of the Society of Logic Programming (GLP e.V.) : WFLP/WLP conference : Sep 2013, Kiel, Germany. (Lecture Notes in Computer Science ; 8439. Lecture Notes in Artificial Intelligence)

Declarative programming and knowledge management : declarative programming days, KDPD 2013 : unifying INAP, WFLP, and WLP : Kiel, Germany, September 11-13, 2013 : revised selected papers : 20th international conference on applications of declarative programming and knowledge management : 22nd international workshop on functional and (constraint) logic programming : 27th workshop on logic programming : scientific forum of the annual meeting of the Society of Logic Programming (GLP e.V.) : WFLP/WLP conference : Sep 2013, Kiel, Germany. (Lecture Notes in Computer Science ; 8439. Lecture Notes in Artificial Intelligence)
紙図書
Springer[2014]<M17-15-1672>
国立国会図書館
  • 件名...puter science) Declarative programming. Knowledge management. Logic p...

PPDP'09 : proceedings of the 11th international ACM SIGPLAN symposium on principles and practice of declarative programming : September 7-9, 2009 : Coimbra, Portugal. : PPDP meetings : Sep 2009, Coimbra, Portugal.

PPDP'09 : proceedings of the 11th international ACM SIGPLAN symposium on principles and practice of declarative programming : September 7-9, 2009 : Coimbra, Portugal. : PPDP meetings : Sep 2009, Coimbra, Portugal.
紙図書
Association for Computing Machineryc2009.<M17-10-1048>
国立国会図書館

PPDP'05 : proceedings of the seventh ACM SIGPLAN conference on principles and practice of declarative programming : July 11-13, 2005 : Lisbon, Portugal. : 7th ACM-SIGPLAN international symposium on principles and practice of declarative programming : PPDP 2005 : Jul 2005, Lisbon, Portugal.

PPDP'05 : proceedings of the seventh ACM SIGPLAN conference on principles and practice of declarative programming : July 11-13, 2005 : Lisbon, Portugal. : 7th ACM-SIGPLAN international symposium on principles and practice of declarative programming : PPDP 2005 : Jul 2005, Lisbon, Portugal.
紙図書
ACM Pressc2005.<M17-06-2029>
国立国会図書館

Declarative agent languages and technologies 10 : 10th international workshop, DALT 2012 : Valencia, Spain, June 4, 2012 : revised selected papers : Jun 2012, Valencia, Spain. (Lecture Notes in Computer Science ; 7784. Lecture Notes in Artificial Intelligence)

Declarative agent languages and technologies 10 : 10th international workshop, DALT 2012 : Valencia, Spain, June 4, 2012 : revised selected papers : Jun 2012, Valencia, Spain. (Lecture Notes in Computer Science ; 7784. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2013.<M17-13-2757>
国立国会図書館

Practical aspects of declarative languages : 11th international symposium, PADL 2009 : Savannah, GA, USA, January 19-20, 2009 : proceedings. : Jan 2009, Savannah, GA. (Lecture Notes in Computer Science ; 5418)

Practical aspects of declarative languages : 11th international symposium, PADL 2009 : Savannah, GA, USA, January 19-20, 2009 : proceedings. : Jan 2009, Savannah, GA. (Lecture Notes in Computer Science ; 5418)
紙図書
Springerc2009.<M17-09-1080>
国立国会図書館

Applications of declarative programming and knowledge management : 19th international conference, INAP 2011 and 25th workshop on logic programming, WLP 2011 : Vienna, Austria, September 28-30, 2011 : revised selected papers : annual meeting of the Society of Logic Programming (GLP, Gesellschaft fur Logische Programmierung e.V.) : Sep 2011, Vienna, Austria. (Lecture Notes in Computer Science ; 7773. Lecture Notes in Artificial Intelligence)

Applications of declarative programming and knowledge management : 19th international conference, INAP 2011 and 25th workshop on logic programming, WLP 2011 : Vienna, Austria, September 28-30, 2011 : revised selected papers : annual meeting of the Society of Logic Programming (GLP, Gesellschaft fur Logische Programmierung e.V.) : Sep 2011, Vienna, Austria. (Lecture Notes in Computer Science ; 7773. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2013.<M17-14-1297>
国立国会図書館

PPDP'03 : proceedings of the fifth ACM SIGPLAN conference on principles and practice of declarative programming : August 27-29, 2003 : Uppsala, Sweden. : 5th ACM-SIGPLAN international conference on principles and practice of declarative programming : PPDP 2003 : PLI 2003 : Aug 2003, Uppsala, Sweden.

PPDP'03 : proceedings of the fifth ACM SIGPLAN conference on principles and practice of declarative programming : August 27-29, 2003 : Uppsala, Sweden. : 5th ACM-SIGPLAN international conference on principles and practice of declarative programming : PPDP 2003 : PLI 2003 : Aug 2003, Uppsala, Sweden.
紙図書
ACM Pressc2003.<M17-06-2964>
国立国会図書館

Declarative agent languages and technologies 6 : 6th international workshop, DALT 2008 : Estoril, Portugal, May 12, 2008 : revised selected and invited papers. : May 2008, Estoril, Portugal. (Lecture Notes in Computer Science ; 5397. Lecture Notes in Artificial Intelligence)

Declarative agent languages and technologies 6 : 6th international workshop, DALT 2008 : Estoril, Portugal, May 12, 2008 : revised selected and invited papers. : May 2008, Estoril, Portugal. (Lecture Notes in Computer Science ; 5397. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2009.<M17-10-527>
国立国会図書館

Declarative agent languages and technologies 3 : third international workshop, DALT 2005 : Utrecht, the Netherlands, July 25, 2005 : selected and revised papers. : Jul 2005, Utrecht, the Netherlands. (Lecture Notes in Computer Science ; 3904. Lecture Notes in Artificial Intelligence)

Declarative agent languages and technologies 3 : third international workshop, DALT 2005 : Utrecht, the Netherlands, July 25, 2005 : selected and revised papers. : Jul 2005, Utrecht, the Netherlands. (Lecture Notes in Computer Science ; 3904. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2006.<M17-06-1635>
国立国会図書館

Applications of declarative programming and knowledge management : 17th international conference, INAP 2007 : and 21st workshop on logic programming, WLP 2007 : Wurzburg, Germany, October 4-6, 2007 : revised selected papers. : annual meeting of the Society for Logic Programming (GLP e.V.) : INAP/WLP 2007 : Oct 2007, Wurzburg, Germany. (Lecture Notes in Computer Science ; 5437. Lecture Notes in Artificial Intelligence)

Applications of declarative programming and knowledge management : 17th international conference, INAP 2007 : and 21st workshop on logic programming, WLP 2007 : Wurzburg, Germany, October 4-6, 2007 : revised selected papers. : annual meeting of the Society for Logic Programming (GLP e.V.) : INAP/WLP 2007 : Oct 2007, Wurzburg, Germany. (Lecture Notes in Computer Science ; 5437. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2009.<M17-09-1984>
国立国会図書館

Declarative agent languages and technologies 5 : 5th international workshop, DALT 2007 : Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers. : May 2007, Honolulu, HI. (Lecture Notes in Computer Science ; 4897. Lecture Notes in Artificial Intelligence)

Declarative agent languages and technologies 5 : 5th international workshop, DALT 2007 : Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers. : May 2007, Honolulu, HI. (Lecture Notes in Computer Science ; 4897. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2008.<M17-08-827>
国立国会図書館

Proceedings of the 3rd international ACM SIGPLAN conference on principles and practice of declarative programming (PPDP'01) : Florence, Italy : September 5-7, 2001. : Sep 2001, Florence, Italy.

Proceedings of the 3rd international ACM SIGPLAN conference on principles and practice of declarative programming (PPDP'01) : Florence, Italy : September 5-7, 2001. : Sep 2001, Florence, Italy.
紙図書
Association for Computing Machineryc2001.<M17-03-1765>
国立国会図書館

Declarative agent languages and technologies 4 : 4th international workshop, DALT 2006 : Hakodate, Japan, May 8, 2006 : selected, revised and invited papers. : May 2006, Hakodate, Japan. (Lecture Notes in Computer Science ; 4327. Lecture Notes in Artificial Intelligence)

Declarative agent languages and technologies 4 : 4th international workshop, DALT 2006 : Hakodate, Japan, May 8, 2006 : selected, revised and invited papers. : May 2006, Hakodate, Japan. (Lecture Notes in Computer Science ; 4327. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2006.<M17-07-2488>
国立国会図書館

Proceedings of the 2nd international ACM SIGPLAN conference on principles and practice of declarative programming (PPDP'00) : Montreal, Canada September 20-23, 2000. : Sep 2000, Montreal, Canada.

Proceedings of the 2nd international ACM SIGPLAN conference on principles and practice of declarative programming (PPDP'00) : Montreal, Canada September 20-23, 2000. : Sep 2000, Montreal, Canada.
紙図書
ACM Pressc2000.<M17-03-3406>
国立国会図書館

Applications of declarative programming and knowledge management : 15th international conference on applications of declarative programming and knowledge management, INAP 2004 and 18th workshop on logic programming, WLP 2004 : Potsdam, Germany, March 4-6, 2004 : revised selected papers. : Mar 2004, Potsdam, Germany. (Lecture Notes in Computer Science ; 3392. Lecture Notes in Artificial Intelligence)

Applications of declarative programming and knowledge management : 15th international conference on applications of declarative programming and knowledge management, INAP 2004 and 18th workshop on logic programming, WLP 2004 : Potsdam, Germany, March 4-6, 2004 : revised selected papers. : Mar 2004, Potsdam, Germany. (Lecture Notes in Computer Science ; 3392. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2005.<M17-06-954>
国立国会図書館
RSS