Jump to main content

yr 〜
yr

Search results 26

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.
Paper図書
IEEE[2016]<M17-18-353>
National Diet Library

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)
Paper図書
Springer[2015]<M17-16-401>
National Diet Library

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.
Paper図書
Association for Computing Machineryc2009.<M17-10-1048>
National Diet Library
  • Subject HeadingDeclarative programming -- Congresses.

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.
Paper図書
ACM Pressc2005.<M17-06-2029>
National Diet Library
  • Subject HeadingDeclarative programming -- Congresses.

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)
Paper図書
Springerc2013.<M17-14-1297>
National Diet Library

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)
Paper図書
Springer[2014]<M17-15-1672>
National Diet Library

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.
Paper図書
ACM Pressc2003.<M17-06-2964>
National Diet Library
  • Subject HeadingDeclarative programming -- Congresses.

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)
Paper図書
Springerc2009.<M17-10-527>
National Diet Library
  • Subject Heading...-- Congresses. Declarative programming -- Congresses. Intelligent agents (Computer ...

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)
Paper図書
Springerc2006.<M17-06-1635>
National Diet Library
  • Subject HeadingProgramming languages (Electronic computers) -- Congresses. Declarative programming -- Congresses.

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)
Paper図書
Springerc2009.<M17-09-1984>
National Diet Library
  • Subject HeadingDeclarative programming -- Congresses. Constraint programming (Compu...

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)
Paper図書
Springerc2008.<M17-08-827>
National Diet Library
  • Subject Heading...-- Congresses. Declarative programming -- Congresses. Intelligent agents (Computer ...

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.
Paper図書
Association for Computing Machineryc2001.<M17-03-1765>
National Diet Library
  • Subject HeadingDeclarative programming -- Congresses.

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)
Paper図書
Springerc2006.<M17-07-2488>
National Diet Library
  • Subject Heading...-- Congresses. Declarative programming -- Congresses. Intelligent agents (Computer ...

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)
Paper図書
Springerc2005.<M17-06-954>
National Diet Library
  • Subject HeadingDeclarative programming -- Congresses. Knowledge management -- Congr...

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.
Paper図書
ACM Pressc2000.<M17-03-3406>
National Diet Library
  • Subject HeadingDeclarative programming -- Congresses.

Practical aspects of declarative languages : 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019 : proceedings

Practical aspects of declarative languages : 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019 : proceedings
Paper図書
José Júlio Alferes, Moa Johansson (eds.)Springerc2019
Other Libraries in Japan

PPDP '09 : proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming : September 7-9, 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
Paper図書
sponsored by ACM SIGPLANAssociation for Computing Machineryc2009
Other Libraries in Japan

PPDP '07 : proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming : Wroclaw, Poland, July 14-16, 2007

PPDP '07 : proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming : Wroclaw, Poland, July 14-16, 2007
Paper図書
sponsored by SIGPLANAssociation for Computing Machineryc2007
Other Libraries in Japan

Applications of declarative programming and knowledge management : 17th International Conference, INAP 2007 and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 2007 : revised selected papers

Applications of declarative programming and knowledge management : 17th International Conference, INAP 2007 and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 2007 : revised selected papers
Paper図書
Dietmar Seipel ... [et al.] (eds.)Springerc2009
Other Libraries in Japan

FDPE '08 : proceedings of the 2008 ACM SIGPLAN Workshop on Functional and Declarative Programming in Education, Victoria, British Columbia, Canada, September 21, 2008

FDPE '08 : proceedings of the 2008 ACM SIGPLAN Workshop on Functional and Declarative Programming in Education, Victoria, British Columbia, Canada, September 21, 2008
Paper図書
sponsored by ACM SIGPLANAssociation for Computing Machineryc2008
Other Libraries in Japan
RSS