yr 〜
yr

Search results 70

Practical aspects of declarative languages : 13th international symposium, PADL 2011 : Austin, TX, USA, January 24-25, 2011 : proceedings. : Jan 2011, Austin, TX. (Lecture Notes in Computer Science ; 6539)

Practical aspects of declarative languages : 13th international symposium, PADL 2011 : Austin, TX, USA, January 24-25, 2011 : proceedings. : Jan 2011, Austin, TX. (Lecture Notes in Computer Science ; 6539)
Paper図書
Springerc2011.<M17-11-1900>
National Diet Library

Logic, language, and computation : 9th international Tbilisi symposium on logic, language, and computation, TbiLLC 2011 : Kutaisi, Georgia, September 26-30, 2011 : revised selected papers : Sep 2011, Kutaisi, Georgia. (Lecture Notes in Computer Science ; 7758)

Logic, language, and computation : 9th international Tbilisi symposium on logic, language, and computation, TbiLLC 2011 : Kutaisi, Georgia, September 26-30, 2011 : revised selected papers : Sep 2011, Kutaisi, Georgia. (Lecture Notes in Computer Science ; 7758)
Paper図書
Springerc2013.<M17-13-2114>
National Diet Library
  • Subject HeadingComputer logic--Congresses. Programming languages (Electronic computers)--Semantics--Congresses. Computational linguistics--Co...

Algebraic informatics : 5th international conference, CAI 2013 : Porquerolles, France, September 3-6, 2013 : proceedings : Sep 2013, ------. (Lecture Notes in Computer Science ; 8080)

Algebraic informatics : 5th international conference, CAI 2013 : Porquerolles, France, September 3-6, 2013 : proceedings : Sep 2013, ------. (Lecture Notes in Computer Science ; 8080)
Paper図書
Springerc2013.<M17-14-737>
National Diet Library
  • Subject HeadingProgramming languages (Electronic computers)--Semantics--Congresses. Algebra--Data processing--Con...

Practical aspects of declarative languages : 10th international symposium, PADL 2008 : San Francisco, CA, USA, January 7-8, 2008 : proceedings. : Jan 2008, San Francisco, CA. (Lecture Notes in Computer Science ; 4902)

Practical aspects of declarative languages : 10th international symposium, PADL 2008 : San Francisco, CA, USA, January 7-8, 2008 : proceedings. : Jan 2008, San Francisco, CA. (Lecture Notes in Computer Science ; 4902)
Paper図書
Springerc2008.<M17-08-829>
National Diet Library

Practical aspects of declarative languages : 12th international symposium, PADL 2010 : Madrid, Spain, January 18-19, 2010 : proceedings. : Jan 2010, Madrid, Spain. (Lecture Notes in Computer Science ; 5937)

Practical aspects of declarative languages : 12th international symposium, PADL 2010 : Madrid, Spain, January 18-19, 2010 : proceedings. : Jan 2010, Madrid, Spain. (Lecture Notes in Computer Science ; 5937)
Paper図書
Springerc2010.<M17-10-2789>
National Diet Library

Logic, language, and computation : 8th international Tbilisi symposium on logic, language, and computation, TbiLLC 2009 : Bakuriani, Georgia, September 21-25, 2009 : revised selected papers : Sep 2009, Bakuriani, Georgia. (Lecture Notes in Computer Science ; 6618. Lecture Notes in Artificial Intelligence)

Logic, language, and computation : 8th international Tbilisi symposium on logic, language, and computation, TbiLLC 2009 : Bakuriani, Georgia, September 21-25, 2009 : revised selected papers : Sep 2009, Bakuriani, Georgia. (Lecture Notes in Computer Science ; 6618. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-12-413>
National Diet Library
  • Subject HeadingComputer logic--Congresses. Programming languages (Electronic computers)--Semantics--Congresses. Computational linguistics--Co...

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)
Paper図書
Springerc2009.<M17-09-1080>
National Diet Library

Practical aspects of declarative languages : 8th international symposium, PADL 2006 : Charleston, SC, USA, January 9-10, 2006 : proceedings. : Jan 2006, Charleston, SC. (Lecture Notes in Computer Science ; 3819)

Practical aspects of declarative languages : 8th international symposium, PADL 2006 : Charleston, SC, USA, January 9-10, 2006 : proceedings. : Jan 2006, Charleston, SC. (Lecture Notes in Computer Science ; 3819)
Paper図書
Springerc2006.<M17-06-1163>
National Diet Library

Algebraic informatics : 6th international conference, CAI 2015 : Stuttgart, Germany, September 1-4, 2015 : proceedings : Sep 2015, Stuttgart, Germany. (Lecture Notes in Computer Science ; 9270)

Algebraic informatics : 6th international conference, CAI 2015 : Stuttgart, Germany, September 1-4, 2015 : proceedings : Sep 2015, Stuttgart, Germany. (Lecture Notes in Computer Science ; 9270)
Paper図書
Springer[2015]<M17-16-598>
National Diet Library
  • Subject Heading...e Engineering. Programming languages (Electronic computers)--Semantics--Congresses. Algebra--Data processing--Con...

Logic, language, and computation : 7th international Tbilisi symposium on logic, language, and computation, TbiLLC 2007 : Tbilisi, Georgia, October 1-5, 2007 : revised selected papers. : 7th international Tbilisi symposium on logic, language, and information : Oct 2007, Tbilisi, Georgia. (Lecture Notes in Computer Science ; 5422. Lecture Notes in Artificial Intelligence)

Logic, language, and computation : 7th international Tbilisi symposium on logic, language, and computation, TbiLLC 2007 : Tbilisi, Georgia, October 1-5, 2007 : revised selected papers. : 7th international Tbilisi symposium on logic, language, and information : Oct 2007, Tbilisi, Georgia. (Lecture Notes in Computer Science ; 5422. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-10-528>
National Diet Library

Practical aspects of declarative languages : 6th international symposium, PADL 2004 : Dallas, TX, USA, June 18-19, 2004 : proceedings. : Jun 2004, Dallas, TX. (Lecture Notes in Computer Science ; 3057)

Practical aspects of declarative languages : 6th international symposium, PADL 2004 : Dallas, TX, USA, June 18-19, 2004 : proceedings. : Jun 2004, Dallas, TX. (Lecture Notes in Computer Science ; 3057)
Paper図書
Springerc2004.<M17-05-60>
National Diet Library

Domain theory, logic and computation : proceedings of the 2nd international symposium on domain theory, Sichuan, China, October 2001. : ISDT 2001 : Oct 2001, Chengdu, China. (Semantic Structures in Computation ; 3)

Domain theory, logic and computation : proceedings of the 2nd international symposium on domain theory, Sichuan, China, October 2001. : ISDT 2001 : Oct 2001, Chengdu, China. (Semantic Structures in Computation ; 3)
Paper図書
Kluwer Academic Publishersc2003.<M17-04-2358>
National Diet Library

PEPM'10 : proceedings of the 2010 ACM SIGPLAN workshop on partial evaluation and program manipulation : January 18-19, 2010 : Madrid, Spain. : PEPM 2010 workshop : Jan 2010, Madrid, Spain.

PEPM'10 : proceedings of the 2010 ACM SIGPLAN workshop on partial evaluation and program manipulation : January 18-19, 2010 : Madrid, Spain. : PEPM 2010 workshop : Jan 2010, Madrid, Spain.
Paper図書
Association for Computing Machineryc2010.<M17-10-2487>
National Diet Library

Logic, language, and computation : 6th international Tbilisi symposium on logic, language, and computation, TbiLLC 2005 : Batumi, Georgia, September 12-16, 2005 : revised selected papers. : 6th international Tbilisi symposium on logic, language and information : Sep 2005, Batumi, Georgia. (Lecture Notes in Computer Science ; 4363. Lecture Notes in Artificial Intelligence)

Logic, language, and computation : 6th international Tbilisi symposium on logic, language, and computation, TbiLLC 2005 : Batumi, Georgia, September 12-16, 2005 : revised selected papers. : 6th international Tbilisi symposium on logic, language and information : Sep 2005, Batumi, Georgia. (Lecture Notes in Computer Science ; 4363. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2007.<M17-07-2702>
National Diet Library

Practical aspects of declarative languages : 4th international symposium, PADL 2002 : Portland, OR, USA, January 19-20, 2002 : proceedings. : 4th PADL symposium : Jan 2002, Portland, OR. (Lecture Notes in Computer Science ; 2257)

Practical aspects of declarative languages : 4th international symposium, PADL 2002 : Portland, OR, USA, January 19-20, 2002 : proceedings. : 4th PADL symposium : Jan 2002, Portland, OR. (Lecture Notes in Computer Science ; 2257)
Paper図書
Springerc2002.<M17-03-2498>
National Diet Library

Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings. : Jan 2003, New Orleans, LA. (Lecture Notes in Computer Science ; 2562)

Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings. : Jan 2003, New Orleans, LA. (Lecture Notes in Computer Science ; 2562)
Paper図書
Springerc2002.<M17-03-1090>
National Diet Library

Conference record : ACM SIGPLAN ASIA-PEPM 2002: the ASIAN symposium on partial evaluation and semantics-based program manipulation : papers presented at the symposium : Aizu, Japan : September 12-14, 2002. : Sep 2002, Aizu, Japan.

Conference record : ACM SIGPLAN ASIA-PEPM 2002: the ASIAN symposium on partial evaluation and semantics-based program manipulation : papers presented at the symposium : Aizu, Japan : September 12-14, 2002. : Sep 2002, Aizu, Japan.
Paper図書
ACM Pressc2002.<M17-03-3573>
National Diet Library

PEPM'09 : proceedings of the 2009 ACM SIGPLAN symposium on partial evaluation and program manipulation : Savannah, Georgia, USA : January 19-20, 2009. : ACM SIGPLAN workshop on partial evaluation and program manipulation : PEPM 2009 : Jan 2009, Savannah, GA.

PEPM'09 : proceedings of the 2009 ACM SIGPLAN symposium on partial evaluation and program manipulation : Savannah, Georgia, USA : January 19-20, 2009. : ACM SIGPLAN workshop on partial evaluation and program manipulation : PEPM 2009 : Jan 2009, Savannah, GA.
Paper図書
ACMc2009.<M17-10-1114>
National Diet Library

Domains and processes : proceedings of the 1st international symposium on domain theory : Shanghai, China, October 1999. : Oct 1999, Shanghai, China. (Semantic Structures in Computation ; 1)

Domains and processes : proceedings of the 1st international symposium on domain theory : Shanghai, China, October 1999. : Oct 1999, Shanghai, China. (Semantic Structures in Computation ; 1)
Paper図書
Kluwer Academic Publishersc2001.<M17-03-2936>
National Diet Library

Practical aspects of declarative languages : third international symposium, PADL 2001 : Las Vegas, Nevada, March 11-12, 2001 : proceedings. : Mar 2001, Las Vegas, NV. (Lecture Notes in Computer Science ; 1990)

Practical aspects of declarative languages : third international symposium, PADL 2001 : Las Vegas, Nevada, March 11-12, 2001 : proceedings. : Mar 2001, Las Vegas, NV. (Lecture Notes in Computer Science ; 1990)
Paper図書
Springer2001.<M17-03-4618>
National Diet Library