年 〜
年

検索結果 94 件

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>
国立国会図書館
  • LCCQA9.A1

Logic, language, information, and computation : 22nd international workshop, WoLLIC 2015 : Bloomington, IN, USA, July 20-23, 2015 : proceedings : Jul 2015, Bloomington, IN. (Lecture Notes in Computer Science ; 9160)

Logic, language, information, and computation : 22nd international workshop, WoLLIC 2015 : Bloomington, IN, USA, July 20-23, 2015 : proceedings : Jul 2015, Bloomington, IN. (Lecture Notes in Computer Science ; 9160)
紙図書
Springer[2015]<M17-16-471>
国立国会図書館
  • LCCQA9.A1

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>
国立国会図書館
  • LCCQA9.A1

Logic, language, information, and computation : 21st international workshop, WoLLIC 2014 : Valparaíso, Chile, September 1-4, 2014 : proceedings : Sep 2014, Valparaíso, Chile. (Lecture Notes in Computer Science ; 8652)

Logic, language, information, and computation : 21st international workshop, WoLLIC 2014 : Valparaíso, Chile, September 1-4, 2014 : proceedings : Sep 2014, Valparaíso, Chile. (Lecture Notes in Computer Science ; 8652)
紙図書
Springer[2014]<M17-15-1523>
国立国会図書館
  • LCCQA9.A1

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>
国立国会図書館
  • LCCQA9.A1

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>
国立国会図書館
  • LCCQA9.A1

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>
国立国会図書館
  • LCCQA9.A1

Advances in logic : the North Texas logic conference : October 8-10, 2004 : University of North Texas, Denton, Texas. : Oct 2004, Denton, TX. (Contemporary Mathematics ; 425)

Advances in logic : the North Texas logic conference : October 8-10, 2004 : University of North Texas, Denton, Texas. : Oct 2004, Denton, TX. (Contemporary Mathematics ; 425)
紙図書
American Mathematical Societyc2007.<M17-07-950>
国立国会図書館
  • LCCQA9.A1

Logic, language, information and computation : 14th international workshop, WoLLIC 2007 : Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings. : 14th WoLLIC meeting : Jul 2007, Rio de Janeiro, Brazil. (Lecture Notes in Computer Science ; 4576)

Logic, language, information and computation : 14th international workshop, WoLLIC 2007 : Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings. : 14th WoLLIC meeting : Jul 2007, Rio de Janeiro, Brazil. (Lecture Notes in Computer Science ; 4576)
紙図書
Springerc2007.<M17-07-2480>
国立国会図書館
  • LCCQA9.A1

Frontiers of combining systems : 6th international symposium, FroCoS 2007 : Liverpool, UK, September 10-12, 2007 : proceedings. : Sep 2007, Liverpool, UK. (Lecture Notes in Computer Science ; 4720. Lecture Notes in Artificial Intelligence)

Frontiers of combining systems : 6th international symposium, FroCoS 2007 : Liverpool, UK, September 10-12, 2007 : proceedings. : Sep 2007, Liverpool, UK. (Lecture Notes in Computer Science ; 4720. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2007.<M17-07-2730>
国立国会図書館
  • LCCQA9.A1

Frontiers of combining systems : 4th international workshop, FroCoS 2002 : Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings. : Apr 2002, Santa Margherita Ligure, Italy. (Lecture Notes in Computer Science ; 2309. Lecture Notes in Artificial Intelligence)

Frontiers of combining systems : 4th international workshop, FroCoS 2002 : Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings. : Apr 2002, Santa Margherita Ligure, Italy. (Lecture Notes in Computer Science ; 2309. Lecture Notes in Artificial Intelligence)
紙図書
Springer2002.<M17-03-4236>
国立国会図書館
  • LCCQA9.A1

A beginner's further guide to mathematical logic : hardcover : pbk

A beginner's further guide to mathematical logic : hardcover : pbk
紙図書
Raymond SmullyanWorld Scientific2017
全国の図書館
  • LCCQA9.A1

Algebra and computer science : Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015: Porto, Portugal : Joint Mathematics Meetings, Groups, Algorithms, and Cryptography, January 10-13, 2015: San Antonio, TX : Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014: Tel-Aviv, Israel

Algebra and computer science : Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015: Porto, Portugal : Joint Mathematics Meetings, Groups, Algorithms, and Cryptography, January 10-13, 2015: San Antonio, TX : Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014: Tel-Aviv, Israel
紙図書
Delaram Kahrobaei, Bren Cavallo, David Garber, editorsAmerican Mathematical Societyc2016
全国の図書館
  • LCCQA9.A1

Infinity and truth

Infinity and truth
紙図書
editors, Chitat Chong ... [et al.]World Scientificc2014
全国の図書館
  • LCCQA9.A1

Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005

Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005
紙図書
edited by Costas Dimitracopoulos ... [et al.]Cambridge University Press2008
全国の図書館
  • LCCQA9.A1

Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers / Daniel Leivant (ed.). (Lecture notes in computer science)

Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers / Daniel Leivant (ed.). (Lecture notes in computer science)
紙図書
Springerc1995.<M15-A9824>
国立国会図書館
  • LCCQA9.A1

Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004 : hbk

Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004 : hbk
紙図書
edited by Alessandro Andretta, Keith Kearnes, Domenico ZambellaCambridge University Press2008
全国の図書館
  • LCCQA9.A1

Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier. (London Mathematical Society lecture note series)

Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier. (London Mathematical Society lecture note series)
紙図書
Cambridge University Press1995.<M15-A9840>
国立国会図書館
  • LCCQA9.A1

Logic, language, information and computation : 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings

Logic, language, information and computation : 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings
紙図書
Wilfrid Hodges, Ruy de Queiroz (eds.)Springerc2008
全国の図書館
  • LCCQA9.A1

Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas

Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
紙図書
Su Gao, Steve Jackson, Yi Zhang, editorsAmerican Mathematical Societyc2007
全国の図書館
  • LCCQA9.A1