Jump to main content

yr 〜
yr

Search results 123

Rewriting logic and its applications : 9th international workshop, WRLA 2012 : held as a satellite event of ETAPS : Tallinn, Estonia, March 24-25, 2012 : revised selected papers : European joint conferences on theory and practice of software : ETAPS conference : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7571)

Rewriting logic and its applications : 9th international workshop, WRLA 2012 : held as a satellite event of ETAPS : Tallinn, Estonia, March 24-25, 2012 : revised selected papers : European joint conferences on theory and practice of software : ETAPS conference : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7571)
Paper図書
Springerc2012.<M17-13-1080>
National Diet Library

Logical foundations of computer science : international symposium, LFCS 2013 : San Diego, CA, USA, January 6-8, 2013 : proceedings : Jan 2013, San Diego, CA. (Lecture Notes in Computer Science ; 7734)

Logical foundations of computer science : international symposium, LFCS 2013 : San Diego, CA, USA, January 6-8, 2013 : proceedings : Jan 2013, San Diego, CA. (Lecture Notes in Computer Science ; 7734)
Paper図書
Springerc2013.<M17-13-1534>
National Diet Library

Deontic logic and normative systems : 12th international conference, DEON 2014 : Ghent, Belgium, July 12-15, 2014 : proceedings : biennial ΔEON conferences : Jul 2014, Ghent, Belgium. (Lecture Notes in Computer Science ; 8554. Lecture Notes in Artificial Intelligence)

Deontic logic and normative systems : 12th international conference, DEON 2014 : Ghent, Belgium, July 12-15, 2014 : proceedings : biennial ΔEON conferences : Jul 2014, Ghent, Belgium. (Lecture Notes in Computer Science ; 8554. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2014]<M17-15-728>
National Diet Library

Logic, language, information, and computation : 20th international workshop, WoLLIC 2013 : Darmstadt, Germany, August 20-23, 2013 : proceedings : Aug 2013, Darmstadt, Germany. (Lecture Notes in Computer Science ; 8071)

Logic, language, information, and computation : 20th international workshop, WoLLIC 2013 : Darmstadt, Germany, August 20-23, 2013 : proceedings : Aug 2013, Darmstadt, Germany. (Lecture Notes in Computer Science ; 8071)
Paper図書
Springerc2013.<M17-14-592>
National Diet Library

Argumentation in multi-agent systems : 8th international workshop, ArgMAS 2011 : Taipei, Taiwan, May 3, 2011 : revised selected papers : May 2011, Taipei, Taiwan. (Lecture Notes in Computer Science ; 7543. Lecture Notes in Artificial Intelligence)

Argumentation in multi-agent systems : 8th international workshop, ArgMAS 2011 : Taipei, Taiwan, May 3, 2011 : revised selected papers : May 2011, Taipei, Taiwan. (Lecture Notes in Computer Science ; 7543. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2012.<M17-13-1073>
National Diet Library

Reversible computation : 4th international workshop, RC 2012 : Copenhagen, Denmark, July 2-3, 2012 : revised papers : Jul 2012, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 7581)

Reversible computation : 4th international workshop, RC 2012 : Copenhagen, Denmark, July 2-3, 2012 : revised papers : Jul 2012, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 7581)
Paper図書
Springerc2013.<M17-13-1617>
National Diet Library

Logic, language, information and computation : 19th international workshop, WoLLIC 2012 : Buenos Aires, Argentina, September 3-6, 2012 : proceedings : WoLLIC 2012 conference : Sep 2012, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 7456)

Logic, language, information and computation : 19th international workshop, WoLLIC 2012 : Buenos Aires, Argentina, September 3-6, 2012 : proceedings : WoLLIC 2012 conference : Sep 2012, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 7456)
Paper図書
Springerc2012.<M17-13-605>
National Diet Library

New directions in logic, language and computation : ESSLLI 2010 and ESSLLI 2011 : student sessions : selected papers : European summer schools in logic, language and information : 22nd and 23rd ESSLLI : ------. (Lecture Notes in Computer Science ; 7415)

New directions in logic, language and computation : ESSLLI 2010 and ESSLLI 2011 : student sessions : selected papers : European summer schools in logic, language and information : 22nd and 23rd ESSLLI : ------. (Lecture Notes in Computer Science ; 7415)
Paper図書
Springerc2012.<M17-13-807>
National Diet Library

Lectures on logic and computation : ESSLLI 2010, Copenhagen, Denmark, August 2010 : ESSLLI 2011, Ljubljana, Slovenia, August 2011 : selected lecture notes : 22nd European summer school in logic, language and information : 23rd European summer school in logic, language and information : ------. (Lecture Notes in Computer Science ; 7388. Tutorial)

Lectures on logic and computation : ESSLLI 2010, Copenhagen, Denmark, August 2010 : ESSLLI 2011, Ljubljana, Slovenia, August 2011 : selected lecture notes : 22nd European summer school in logic, language and information : 23rd European summer school in logic, language and information : ------. (Lecture Notes in Computer Science ; 7388. Tutorial)
Paper図書
Springerc2012.<M17-13-1062>
National Diet Library

Rewriting logic and its applications : 10th international workshop, WRLA 2014 : held as a satellite event of ETAPS : Grenoble, France, April 5-6, 2014 : revised selected papers : European joint conferences on theory & practice of software : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8663)

Rewriting logic and its applications : 10th international workshop, WRLA 2014 : held as a satellite event of ETAPS : Grenoble, France, April 5-6, 2014 : revised selected papers : European joint conferences on theory & practice of software : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8663)
Paper図書
Springer[2014]<M17-15-735>
National Diet Library

Computer science logic : 22nd international workshop, CSL 2008 : 17th annual conference of the EACSL : Bertinoro, Italy, September 16-19, 2008 : proceedings. : annual conference of the European Association for Computer Science Logic : Sep 2008, Bertinoro, Italy. (Lecture Notes in Computer Science ; 5213)

Computer science logic : 22nd international workshop, CSL 2008 : 17th annual conference of the EACSL : Bertinoro, Italy, September 16-19, 2008 : proceedings. : annual conference of the European Association for Computer Science Logic : Sep 2008, Bertinoro, Italy. (Lecture Notes in Computer Science ; 5213)
Paper図書
Springerc2008.<M17-09-314>
National Diet Library
  • Subject HeadingComputer logic -- Congresses.

Computational logic in multi-agent systems : 12th international workshop, CLIMA 12 : Barcelona, Spain, July 17-18, 2011 : proceedings : Jul 2011, Barcelona, Spain. (Lecture Notes in Computer Science ; 6814. Lecture Notes in Artificial Intelligence)

Computational logic in multi-agent systems : 12th international workshop, CLIMA 12 : Barcelona, Spain, July 17-18, 2011 : proceedings : Jul 2011, Barcelona, Spain. (Lecture Notes in Computer Science ; 6814. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-12-51>
National Diet Library

Logic, language and meaning : 18th Amsterdam colloquium : Amsterdam, the Netherlands, December 19-21, 2011 : revised selected papers : workshop on inquisitiveness : workshop on formal semantics and pragmatics of sign languages : workshop on formal semantic evidence : Dec 2011, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 7218)

Logic, language and meaning : 18th Amsterdam colloquium : Amsterdam, the Netherlands, December 19-21, 2011 : revised selected papers : workshop on inquisitiveness : workshop on formal semantics and pragmatics of sign languages : workshop on formal semantic evidence : Dec 2011, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 7218)
Paper図書
Springerc2012.<M17-13-803>
National Diet Library

Foundations of information and knowledge systems : 8th international symposium, FoIKS 2014 : Bordeaux, France, March 3-7, 2014 : proceedings : Mar 2014, Bordeaux, France. (Lecture Notes in Computer Science ; 8367)

Foundations of information and knowledge systems : 8th international symposium, FoIKS 2014 : Bordeaux, France, March 3-7, 2014 : proceedings : Mar 2014, Bordeaux, France. (Lecture Notes in Computer Science ; 8367)
Paper図書
Springerc2014.<M17-14-1780>
National Diet Library

Reversible computation : 5th international conference, RC 2013 : Victoria, BC, Canada, July 4-5, 2013 : proceedings : Jul 2013, Victoria, Canada. (Lecture Notes in Computer Science ; 7948)

Reversible computation : 5th international conference, RC 2013 : Victoria, BC, Canada, July 4-5, 2013 : proceedings : Jul 2013, Victoria, Canada. (Lecture Notes in Computer Science ; 7948)
Paper図書
Springerc2013.<M17-13-3394>
National Diet Library

Computer science logic : 21st international workshop, CSL 2007 : 16th annual conference of the EACSL : Lausanne, Switzerland, September 11-15, 2007 : proceedings. : annual conference of the European Association for Computer Science Logic : Sep 2007, Lausanne, Switzerland. (Lecture Notes in Computer Science ; 4646)

Computer science logic : 21st international workshop, CSL 2007 : 16th annual conference of the EACSL : Lausanne, Switzerland, September 11-15, 2007 : proceedings. : annual conference of the European Association for Computer Science Logic : Sep 2007, Lausanne, Switzerland. (Lecture Notes in Computer Science ; 4646)
Paper図書
Springerc2007.<M17-08-716>
National Diet Library
  • Subject HeadingComputer logic -- Congresses.

Logic-based program synthesis and transformation : 22nd international symposium, LOPSTR 2012 : Leuven, Belgium, September 18-20, 2012 : revised selected papers : LOPSTR 2012 conference : Sep 2012, Leuven, Belgium. (Lecture Notes in Computer Science ; 7844)

Logic-based program synthesis and transformation : 22nd international symposium, LOPSTR 2012 : Leuven, Belgium, September 18-20, 2012 : revised selected papers : LOPSTR 2012 conference : Sep 2012, Leuven, Belgium. (Lecture Notes in Computer Science ; 7844)
Paper図書
Springerc2013.<M17-13-2769>
National Diet Library

Automated reasoning : 5th international joint conference, IJCAR 2010 : Edinburgh, UK, July 16-19, 2010 : proceedings. : 2010 federated logic conference : CASC-J5: 5th IJCAR ATP system competition : 7th international termination competition : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6173. Lecture Notes in Artificial Intelligence)

Automated reasoning : 5th international joint conference, IJCAR 2010 : Edinburgh, UK, July 16-19, 2010 : proceedings. : 2010 federated logic conference : CASC-J5: 5th IJCAR ATP system competition : 7th international termination competition : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6173. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2010.<M17-11-149>
National Diet Library
  • Subject HeadingAutomatic theorem proving -- Congresses. Computer logic -- Congresses.

Theory and applications of formal argumentation : second international workshop, TAFA 2013 : Beijing, China, August 3-5, 2013 : revised selected papers : IJCAI 2013 : 23rd international joint conference on artificial intelligence : Aug 2013, Beijing, China. (Lecture Notes in Computer Science ; 8306. Lecture Notes in Artificial Intelligence)

Theory and applications of formal argumentation : second international workshop, TAFA 2013 : Beijing, China, August 3-5, 2013 : revised selected papers : IJCAI 2013 : 23rd international joint conference on artificial intelligence : Aug 2013, Beijing, China. (Lecture Notes in Computer Science ; 8306. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2014.<M17-14-2117>
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
RSS