Jump to main content

yr 〜
yr

Search results 23

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

2016 1st CPSWeek workshop on declarative cyber-physical systems (DCPS 2016) : Vienna, Austria : 12 April 2016.
Paper図書
IEEE[2016]<M17-18-353>
National Diet Library
  • Subject HeadingDeclarative programming--Congresses. Cooperating objects (Computer...

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

Practical aspects of declarative languages : 17th international symposium, PADL 2015 : Portland, OR, USA, June 18-19, 2015 : proceedings. (Lecture Notes in Computer Science ; 9131)
Paper図書
Springer[2015]<M17-16-401>
National Diet Library
  • Subject Heading...s--Congresses. Declarative programming--Congresses. Declarative programming. Decl...

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図書
Association for Computing Machineryc2009.<M17-10-1048>
National Diet LibraryOther Libraries in Japan

PPDP'05 : proceedings of the seventh ACM SIGPLAN conference on principles and practice of declarative programming : July 11-13, 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.
Paper図書
ACM Pressc2005.<M17-06-2029>
National Diet Library

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. (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. (Lecture Notes in Computer Science ; 7773. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2013.<M17-14-1297>
National Diet Library
  • Subject Heading...s--Congresses. Declarative programming--Congresses. Knowledge management--Congres...

Declarative programming and knowledge management : declarative programming days, KDPD 2013 : unifying INAP, WFLP, and WLP : Kiel, Germany, September 11-13, 2013 : revised selected papers. (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. (Lecture Notes in Computer Science ; 8439. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2014]<M17-15-1672>
National Diet Library
  • Subject Heading...)--Congresses. Declarative programming--Congresses. Logic programming--Congresses...

PPDP'03 : proceedings of the fifth ACM SIGPLAN conference on principles and practice of declarative programming : August 27-29, 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.
Paper図書
ACM Pressc2003.<M17-06-2964>
National Diet Library

Declarative agent languages and technologies 6 : 6th international workshop, DALT 2008 : Estoril, Portugal, May 12, 2008 : revised selected and invited papers. (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. (Lecture Notes in Computer Science ; 5397. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-10-527>
National Diet Library

Declarative agent languages and technologies 3 : third international workshop, DALT 2005 : Utrecht, the Netherlands, July 25, 2005 : selected and revised papers. (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. (Lecture Notes in Computer Science ; 3904. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2006.<M17-06-1635>
National Diet Library

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. (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. (Lecture Notes in Computer Science ; 5437. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-09-1984>
National Diet Library

Declarative agent languages and technologies 5 : 5th international workshop, DALT 2007 : Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers. (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. (Lecture Notes in Computer Science ; 4897. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2008.<M17-08-827>
National Diet Library

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

Proceedings of the 3rd international ACM SIGPLAN conference on principles and practice of declarative programming (PPDP'01) : Florence, Italy : September 5-7, 2001.
Paper図書
Association for Computing Machineryc2001.<M17-03-1765>
National Diet LibraryOther Libraries in Japan

Declarative agent languages and technologies 4 : 4th international workshop, DALT 2006 : Hakodate, Japan, May 8, 2006 : selected, revised and invited papers. (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. (Lecture Notes in Computer Science ; 4327. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2006.<M17-07-2488>
National Diet Library

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

Proceedings of the 2nd international ACM SIGPLAN conference on principles and practice of declarative programming (PPDP'00) : Montreal, Canada September 20-23, 2000.
Paper図書
ACM Pressc2000.<M17-03-3406>
National Diet Library

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. (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. (Lecture Notes in Computer Science ; 3392. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2005.<M17-06-954>
National Diet LibraryOther Libraries in Japan

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 '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

Declarative agent languages and technologies : 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers 5

Declarative agent languages and technologies : 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers 5
Paper図書
Matteo Baldoni ... [et al.](eds.)Springerc2008
Other Libraries in Japan
RSS