Jump to main content

yr 〜
yr

Search results 69

Rewriting logic and its applications : 15th international workshop, WRLA 2024 : Luxembourg City, Luxembourg, April 6-7, 2024 : revised selected papers : Apr 2024, Luxembourg, Luxembourg (Lecture notes in computer science ; 14953)

Rewriting logic and its applications : 15th international workshop, WRLA 2024 : Luxembourg City, Luxembourg, April 6-7, 2024 : revised selected papers : Apr 2024, Luxembourg, Luxembourg (Lecture notes in computer science ; 14953)
Paper図書
Springer[2024]<M17-25-44>
National Diet LibraryOther Libraries in Japan
  • LCCQA76.9.L63

Unconventional computation and natural computation : 18th international conference, UCNC 2019 : Tokyo, Japan, June 3-7, 2019 : proceedings : 100th anniversary commemorative event of the University of Electro-Communications (UEC) : Jun 2019, Tokyo, Japan. (Lecture Notes in Computer Science ; 11493)

Unconventional computation and natural computation : 18th international conference, UCNC 2019 : Tokyo, Japan, June 3-7, 2019 : proceedings : 100th anniversary commemorative event of the University of Electro-Communications (UEC) : Jun 2019, Tokyo, Japan. (Lecture Notes in Computer Science ; 11493)
Paper図書
Springer[2019]<M17-21-329>
National Diet Library
  • LCCQA76.9.L63

Unconventional computation and natural computation : 18th international conference, UCNC 2019 : Tokyo, Japan, June 3-7, 2019 : proceedings : 100th anniversary commemorative event of the University of Electro-Communications (UEC) : Jun 2019, Tokyo, Japan. Corrected publication 2019. (Lecture Notes in Computer Science ; 11493)

Unconventional computation and natural computation : 18th international conference, UCNC 2019 : Tokyo, Japan, June 3-7, 2019 : proceedings : 100th anniversary commemorative event of the University of Electro-Communications (UEC) : Jun 2019, Tokyo, Japan. Corrected publication 2019. (Lecture Notes in Computer Science ; 11493)
Paper図書
Springer[2019]<M17-21-322>
National Diet Library
  • LCCQA76.9.L63

Structured object-oriented formal language and method : 6th international workshop, SOFL+MSVL 2016 : Tokyo, Japan, November 15, 2016 : revised selected papers : Nov 2016, Tokyo, Japan. (Lecture Notes in Computer Science ; 10189)

Structured object-oriented formal language and method : 6th international workshop, SOFL+MSVL 2016 : Tokyo, Japan, November 15, 2016 : revised selected papers : Nov 2016, Tokyo, Japan. (Lecture Notes in Computer Science ; 10189)
Paper図書
Springer[2017]<M17-20-376>
National Diet Library
  • LCCQA76.9.L63

Verification, model checking, and abstract interpretation : 15th international conference, VMCAI 2014 : San Diego, CA, USA, January 19-21, 2014 : proceedings : Jan 2014, San Diego, CA. (Lecture Notes in Computer Science ; 8318. Advanced Research in Computing and Software Science)

Verification, model checking, and abstract interpretation : 15th international conference, VMCAI 2014 : San Diego, CA, USA, January 19-21, 2014 : proceedings : Jan 2014, San Diego, CA. (Lecture Notes in Computer Science ; 8318. Advanced Research in Computing and Software Science)
Paper図書
Springerc2014.<M17-14-1756>
National Diet Library
  • LCCQA76.76.V47 QA76.9.L63

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
  • LCCQA76.9.L63

Reversible computation : 7th international conference, RC 2015 : Grenoble, France, July 16-17, 2015 : proceedings : RC events : Jul 2015, Grenoble, France. (Lecture Notes in Computer Science ; 9138)

Reversible computation : 7th international conference, RC 2015 : Grenoble, France, July 16-17, 2015 : proceedings : RC events : Jul 2015, Grenoble, France. (Lecture Notes in Computer Science ; 9138)
Paper図書
Springer[2015]<M17-16-396>
National Diet Library
  • LCCQA76.9.L63

Programming logics : essays in memory of Harald Ganzinger (Lecture notes in computer science ; 7797. Festschrift)

Programming logics : essays in memory of Harald Ganzinger (Lecture notes in computer science ; 7797. Festschrift)
Paper図書
Andrei Voronkov, Christoph Weidenbach (eds.).Springer[2013]<X>
National Diet Library
  • LCCQA76.9.L63

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
  • LCCQA76.9.L63

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
  • LCCQA76.9.L63

Reversible computation : third international workshop, RC 2011 : Gent, Belgium, July 4-5, 2011 : revised papers : Jul 2011, Gent, Belgium. (Lecture Notes in Computer Science ; 7165)

Reversible computation : third international workshop, RC 2011 : Gent, Belgium, July 4-5, 2011 : revised papers : Jul 2011, Gent, Belgium. (Lecture Notes in Computer Science ; 7165)
Paper図書
Springerc2012.<M17-13-25>
National Diet Library
  • LCCQA76.9.L63

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
  • LCCQA76.9.L63

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
  • LCCQA76.9.L63

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
  • LCCQA76.9.L63

Propositional logic

Propositional logic
Paper図書
Peter A. Fejer & Dan A. SimoviciWorld Scientific2025
Other Libraries in Japan
  • LCCQA76.9.L63

Predicate logic

Predicate logic
Paper図書
Peter A. Fejer & Dan A. SimoviciWorld Scientific2025
Other Libraries in Japan
  • LCCQA76.9.L63

Logic, language, information and computation : 18th international workshop, WoLLIC 2011 : Philadelphia, PA, USA, May 18-20, 2011 : proceedings. : May 2011, Philadelphia, PA. (Lecture Notes in Computer Science ; 6642. Lecture Notes in Artificial Intelligence)

Logic, language, information and computation : 18th international workshop, WoLLIC 2011 : Philadelphia, PA, USA, May 18-20, 2011 : proceedings. : May 2011, Philadelphia, PA. (Lecture Notes in Computer Science ; 6642. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-11-2320>
National Diet Library
  • LCCQA76.9.L63

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
  • LCCQA76.9.L63

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
  • LCCQA76.9.L63

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
  • LCCQA76.9.L63
RSS