年 〜
年

検索結果 422 件

Advances in mathematical logic : dedicated to the memory of professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, selected, revised contributions : symposium on advances in mathematical logic 2018 : SAML2018 : Sep 2018, Kobe, Japan. (Springer Proceedings in Mathematics & Statistics ; 369)

Advances in mathematical logic : dedicated to the memory of professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, selected, revised contributions : symposium on advances in mathematical logic 2018 : SAML2018 : Sep 2018, Kobe, Japan. (Springer Proceedings in Mathematics & Statistics ; 369)
紙図書
Springer[2021]<M17-22-630>
国立国会図書館全国の図書館
  • 件名Logic, Symbolic and mathematical--Congresses. Logique symbolique et mathém...

Logic and its applications : 6th Indian conference, ICLA 2015 : Mumbai, India, January 8-10, 2015 : proceedings : Jan 2015, Mumbai, India. (Lecture Notes in Computer Science ; 8923)

Logic and its applications : 6th Indian conference, ICLA 2015 : Mumbai, India, January 8-10, 2015 : proceedings : Jan 2015, Mumbai, India. (Lecture Notes in Computer Science ; 8923)
紙図書
Springer[2015]<M17-15-1316>
国立国会図書館
  • 件名Logic, Symbolic and mathematical--Congresses. Logic, Symbolic and mathemati...

Logic and its applications : 5th Indian conference, ICLA 2013 : Chennai, India, January 10-12, 2013 : proceedings : ICLA2013 : Jan 2013, Chennai, India. (Lecture Notes in Computer Science ; 7750)

Logic and its applications : 5th Indian conference, ICLA 2013 : Chennai, India, January 10-12, 2013 : proceedings : ICLA2013 : Jan 2013, Chennai, India. (Lecture Notes in Computer Science ; 7750)
紙図書
Springerc2013.<M17-13-1641>
国立国会図書館
  • 件名Logic, Symbolic and mathematical--Congresses.

Automated deduction--CADE-25 : 25th international conference on automated deduction : Berlin, Germany, August 1-7, 2015 : proceedings : Aug 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9195. Lecture Notes in Artificial Intelligence)

Automated deduction--CADE-25 : 25th international conference on automated deduction : Berlin, Germany, August 1-7, 2015 : proceedings : Aug 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9195. Lecture Notes in Artificial Intelligence)
紙図書
Springer[2015]<M17-16-493>
国立国会図書館
  • 件名Automatic theorem proving--Congresses. Logic, Symbolic and mathematical--Congresses.

Logic, rationality, and interaction : 6th international workshop, LORI 2017 : Sapporo, Japan, September 11-14, 2017 : proceedings : LORI-6 : LORI conference : Sep 2017, Sapporo, Japan. (Lecture Notes in Computer Science ; 10455)

Logic, rationality, and interaction : 6th international workshop, LORI 2017 : Sapporo, Japan, September 11-14, 2017 : proceedings : LORI-6 : LORI conference : Sep 2017, Sapporo, Japan. (Lecture Notes in Computer Science ; 10455)
紙図書
Springer[2017]<M17-20-408>
国立国会図書館
  • 件名Logic devices--Congresses. Logic, Symbolic and mathematical--Congresses. Logic devices. Logic, Symboli...

Proceedings of the 11th Asian logic conference : in honor of Professor Chong Chitat on his 60th birthday : National University of Singapore, Singapore 22-27 June 2009 : Jun 2009, Singapore.

Proceedings of the 11th Asian logic conference : in honor of Professor Chong Chitat on his 60th birthday : National University of Singapore, Singapore 22-27 June 2009 : Jun 2009, Singapore.
紙図書
World Scientificc2012.<M17-13-1258>
国立国会図書館
  • 件名Logic, Symbolic and mathematical--Congresses.

Artificial intelligence and symbolic computation : 12th international conference, AISC 2014 : Seville, Spain, December 11-13, 2014 : proceedings : Dec 2014, Seville, Spain. (Lecture Notes in Computer Science ; 8884. Lecture Notes in Artificial Intelligence)

Artificial intelligence and symbolic computation : 12th international conference, AISC 2014 : Seville, Spain, December 11-13, 2014 : proceedings : Dec 2014, Seville, Spain. (Lecture Notes in Computer Science ; 8884. Lecture Notes in Artificial Intelligence)
紙図書
Springer[2014]<M17-15-777>
国立国会図書館
  • 件名Artificial intelligence--Congresses. Logic, Symbolic and mathematical--Congresses.

Logic, rationality, and interaction : 4th international workshop, LORI 2013 : Hangzhou, China, October 9-12, 2013 : proceedings : LORI-4 : LORI-13 : Oct 2013, Hangzhou, China. (Lecture Notes in Computer Science ; 8196)

Logic, rationality, and interaction : 4th international workshop, LORI 2013 : Hangzhou, China, October 9-12, 2013 : proceedings : LORI-4 : LORI-13 : Oct 2013, Hangzhou, China. (Lecture Notes in Computer Science ; 8196)
紙図書
Springerc2013.<M17-14-773>
国立国会図書館
  • 件名Logic--Congresses. Logic, Symbolic and mathematical--Congresses.

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)
紙図書
Springerc2013.<M17-14-592>
国立国会図書館
  • 件名Computer logic--Congresses. Logic, Symbolic and mathematical--Congresses.

Frontiers of combining systems : 9th international symposium, FroCoS 2013 : Nancy, France, September 18-20, 2013 : proceedings : FroCoS meetings : Sep 2013, Nancy, France. (Lecture Notes in Computer Science ; 8152. Lecture Notes in Artificial Intelligence)

Frontiers of combining systems : 9th international symposium, FroCoS 2013 : Nancy, France, September 18-20, 2013 : proceedings : FroCoS meetings : Sep 2013, Nancy, France. (Lecture Notes in Computer Science ; 8152. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2013.<M17-14-709>
国立国会図書館
  • 件名Logic, Symbolic and mathematical--Congresses. Computer science--Congresses.

Automated deduction -- CADE-24 : 24th international conference on automated deduction : Lake Placid, NY, USA, June 9-14, 2013 : proceedings : Jun 2013, Lake Placid, NY. (Lecture Notes in Computer Science ; 7898. Lecture Notes in Artificial Intelligence)

Automated deduction -- CADE-24 : 24th international conference on automated deduction : Lake Placid, NY, USA, June 9-14, 2013 : proceedings : Jun 2013, Lake Placid, NY. (Lecture Notes in Computer Science ; 7898. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2013.<M17-13-3345>
国立国会図書館
  • 件名Automatic theorem proving--Congresses. Logic, Symbolic and mathematical--Congresses.

Frontiers of combining systems : 10th international symposium, FroCoS 2015 : Wroclaw, Poland, September 21-24, 2015 : proceedings : FroCoS meetings : Sep 2015, Wroclaw, Poland. (Lecture Notes in Computer Science ; 9322. Lecture Notes in Artificial Intelligence)

Frontiers of combining systems : 10th international symposium, FroCoS 2015 : Wroclaw, Poland, September 21-24, 2015 : proceedings : FroCoS meetings : Sep 2015, Wroclaw, Poland. (Lecture Notes in Computer Science ; 9322. Lecture Notes in Artificial Intelligence)
紙図書
Springer[2015]<M17-16-635>
国立国会図書館
  • 件名Logic, Symbolic and mathematical--Congresses. Computer science--Congresses....

Proceedings of the 10th Asian logic conference : Kobe, Japan 1-6 September 2008 : Sep 2008, Kobe, Japan.

Proceedings of the 10th Asian logic conference : Kobe, Japan 1-6 September 2008 : Sep 2008, Kobe, Japan.
紙図書
World Scientificc2010.<M17-13-2730>
国立国会図書館
  • 件名Logic, Symbolic and mathematical--Congresses.

Logics in artificial intelligence : 13th European conference, JELIA 2012 : Toulouse, France, September 26-28, 2012 : proceedings : journées européennes sur la logique en intelligence artificielle : Sep 2012, Toulouse, France. (Lecture Notes in Computer Science ; 7519. Lecture Notes in Artificial Intelligence)

Logics in artificial intelligence : 13th European conference, JELIA 2012 : Toulouse, France, September 26-28, 2012 : proceedings : journées européennes sur la logique en intelligence artificielle : Sep 2012, Toulouse, France. (Lecture Notes in Computer Science ; 7519. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2012.<M17-13-669>
国立国会図書館
  • 件名Artificial intelligence--Congresses. Logic, Symbolic and mathematical--Congresses.

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)
紙図書
Springerc2012.<M17-13-605>
国立国会図書館
  • 件名Computer logic--Congresses. Logic, Symbolic and mathematical--Congresses.

Logic, language, information and computation : 16th international workshop, WoLLIC 2009 : Tokyo, Japan, June 21-24, 2009 : proceedings. : Jun 2009, Tokyo, Japan. (Lecture Notes in Computer Science ; 5514. Lecture Notes in Artificial Intelligence)

Logic, language, information and computation : 16th international workshop, WoLLIC 2009 : Tokyo, Japan, June 21-24, 2009 : proceedings. : Jun 2009, Tokyo, Japan. (Lecture Notes in Computer Science ; 5514. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2009.<M17-10-644>
国立国会図書館

Interactive theorem proving : 4th international conference, ITP 2013 : Rennes, France, July 22-26, 2013 : proceedings : ITP and TPHOLs meetings : Jul 2013, Rennes, France. (Lecture Notes in Computer Science ; 7998)

Interactive theorem proving : 4th international conference, ITP 2013 : Rennes, France, July 22-26, 2013 : proceedings : ITP and TPHOLs meetings : Jul 2013, Rennes, France. (Lecture Notes in Computer Science ; 7998)
紙図書
Springerc2013.<M17-14-570>
国立国会図書館
  • 件名...g--Congresses. Logic, Symbolic and mathematical--Congresses. Theorem proving ITP

Frontiers of combining systems : 8th international symposium, FroCoS 2011 : Saarbrücken, Germany, October 5-7, 2011 : proceedings : FroCoS meetings : Oct 2011, Saarbrücken, Germany. (Lecture Notes in Computer Science ; 6989. Lecture Notes in Artificial Intelligence)

Frontiers of combining systems : 8th international symposium, FroCoS 2011 : Saarbrücken, Germany, October 5-7, 2011 : proceedings : FroCoS meetings : Oct 2011, Saarbrücken, Germany. (Lecture Notes in Computer Science ; 6989. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2011.<M17-12-1325>
国立国会図書館
  • 件名Logic, Symbolic and mathematical--Congresses. Computer science--Congresses.

Interactive theorem proving : 5th international conference, ITP 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8558)

Interactive theorem proving : 5th international conference, ITP 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8558)
紙図書
Springer[2014]<M17-15-1248>
国立国会図書館
  • 件名...g--Congresses. Logic, Symbolic and mathematical--Congresses. Automatic theorem proving. Lo...

Automated deduction -- CADE-23 : 23rd international conference on automated deduction : Wrocław, Poland, July 31-August 5, 2011 : proceedings : CADE 23 : Jul 2011, Wrocław, Poland. (Lecture Notes in Computer Science ; 6803. Lecture Notes in Artificial Intelligence)

Automated deduction -- CADE-23 : 23rd international conference on automated deduction : Wrocław, Poland, July 31-August 5, 2011 : proceedings : CADE 23 : Jul 2011, Wrocław, Poland. (Lecture Notes in Computer Science ; 6803. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2011.<M17-12-420>
国立国会図書館
  • 件名Automatic theorem proving--Congresses. Logic, Symbolic and mathematical--Congresses.