年 〜
年

検索結果 520 件

Knowledge, proof and dynamics : the Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia logica library)

Knowledge, proof and dynamics : the Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia logica library)
紙図書
Fenrong Liu, Hiroakira Ono, Junhua Yu, editors.Springer[2020]<H35-D4>
国立国会図書館全国の図書館

Logic, rationality, and interaction : 5th international workshop, LORI 2015 : Taipei, Taiwan, October 28-31, 2015 : proceedings : LORI-5 : Oct 2015, Taipei, Taiwan. (Lecture Notes in Computer Science ; 9394)

Logic, rationality, and interaction : 5th international workshop, LORI 2015 : Taipei, Taiwan, October 28-31, 2015 : proceedings : LORI-5 : Oct 2015, Taipei, Taiwan. (Lecture Notes in Computer Science ; 9394)
紙図書
Springer[2015]<M17-16-798>
国立国会図書館

Modality, semantics and interpretations : the second Asian Workshop on Philosophical Logic (Logic in Asia: studia logica library)

Modality, semantics and interpretations : the second Asian Workshop on Philosophical Logic (Logic in Asia: studia logica library)
紙図書
Shier Ju, Hu Liu, Hiroakira Ono, editors.Springer[2015]<H35-B17>
国立国会図書館全国の図書館

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)
紙図書
Springer[2014]<M17-15-728>
国立国会図書館

2016 IEEE 46th international symposium on multiple-valued logic (ISMVL 2016) : Sapporo, Japan : 18-20 May 2016 : ISMVL week : ISMVL-2016 : May 2016, Sapporo, Japan.

2016 IEEE 46th international symposium on multiple-valued logic (ISMVL 2016) : Sapporo, Japan : 18-20 May 2016 : ISMVL week : ISMVL-2016 : May 2016, Sapporo, Japan.
紙図書
IEEE[2016]<M17-18-1101>
国立国会図書館

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)
紙図書
Springerc2012.<M17-13-803>
国立国会図書館

Logical aspects of computational linguistics : 8th international conference, LACL 2014 : Toulouse, France, June 18-20, 2014 : proceedings : Jun 2014, Toulouse, France. (Lecture Notes in Computer Science ; 8535)

Logical aspects of computational linguistics : 8th international conference, LACL 2014 : Toulouse, France, June 18-20, 2014 : proceedings : Jun 2014, Toulouse, France. (Lecture Notes in Computer Science ; 8535)
紙図書
Springer[2014]<M17-15-1678>
国立国会図書館

2015 IEEE interrnational symposium on multiple-valued logic : (ISMVL 2015) : Waterloo, Ontario, Canada : 18-20 May 2015 : 45th international symposium on multiple-valued logic : May 2015, Waterloo, Canada.

2015 IEEE interrnational symposium on multiple-valued logic : (ISMVL 2015) : Waterloo, Ontario, Canada : 18-20 May 2015 : 45th international symposium on multiple-valued logic : May 2015, Waterloo, Canada.
紙図書
IEEE[2015]<M17-17-1453>
国立国会図書館

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)
紙図書
Springerc2012.<M17-13-1080>
国立国会図書館

FPGA'18 : proceedings of the 2018 ACM/SIGDA international symposium on field-programmable gate arrays : February 25-27, 2018 : Monterey, CA, USA : FPGA 2018 : Feb 2018, Monterey, CA.

FPGA'18 : proceedings of the 2018 ACM/SIGDA international symposium on field-programmable gate arrays : February 25-27, 2018 : Monterey, CA, USA : FPGA 2018 : Feb 2018, Monterey, CA.
紙図書
The Association for Computing Machinery[2018]<M17-20-236>
国立国会図書館

2012 IEEE 42nd international symposium on multiple-valued logic : (ISMVL 2012) : Victoria, British Columbia, Canada : 14-16 May 2012 : ISMVL-2012 symposium : May 2012, Victoria, Canada.

2012 IEEE 42nd international symposium on multiple-valued logic : (ISMVL 2012) : Victoria, British Columbia, Canada : 14-16 May 2012 : ISMVL-2012 symposium : May 2012, Victoria, Canada.
紙図書
IEEEc2012.<M17-13-1253>
国立国会図書館

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)
紙図書
Springerc2013.<M17-13-1534>
国立国会図書館

Deontic logic in computer science : 10th international conference, DEON 2010 : Fiesole, Italy, July 7-9, 2010 : proceedings. : Jul 2010, Fiesole, Italy. (Lecture Notes in Computer Science ; 6181. Lecture Notes in Artificial Intelligence)

Deontic logic in computer science : 10th international conference, DEON 2010 : Fiesole, Italy, July 7-9, 2010 : proceedings. : Jul 2010, Fiesole, Italy. (Lecture Notes in Computer Science ; 6181. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2010.<M17-11-156>
国立国会図書館
  • 件名Computer logic -- Congresses. Deontic logic -- Congresses. Computer science -- Congresse...

FPGA'17 : proceedings of the 2017 ACM/SIGDA international symposium on field-programmable gate arrays : February 22-24, 2017 : Monterey, CA, USA : ACM FPGA : 3rd international workshop on overlay architectures for FPGAs (OLAF) : 25th ACM/SIGDA international symposium on field programmable gate arrays : Feb 2017, Monterey, CA.

FPGA'17 : proceedings of the 2017 ACM/SIGDA international symposium on field-programmable gate arrays : February 22-24, 2017 : Monterey, CA, USA : ACM FPGA : 3rd international workshop on overlay architectures for FPGAs (OLAF) : 25th ACM/SIGDA international symposium on field programmable gate arrays : Feb 2017, Monterey, CA.
紙図書
The Association for Computing Machinery[2017]<M17-18-2082>
国立国会図書館

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, 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>
国立国会図書館

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)
紙図書
Springerc2012.<M17-13-1073>
国立国会図書館

2016 26th international conference on field programmable logic and applications (FPL 2016) : Lausanne, Switzerland : 29 August-2 September 2016 : 26th international conference on field-programmable logic and applications : Aug 2016, Lausanne, Switzerland.

2016 26th international conference on field programmable logic and applications (FPL 2016) : Lausanne, Switzerland : 29 August-2 September 2016 : 26th international conference on field-programmable logic and applications : Aug 2016, Lausanne, Switzerland.
紙図書
IEEE[2016]<M17-18-455>
国立国会図書館

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)
紙図書
Springerc2013.<M17-13-1617>
国立国会図書館

2016 annual conference of the North American Fuzzy Information Processing Society : (NAFIPS 2016) : El Paso, Texas, USA : 31 October-4 November 2016 : 2016 annual meeting of the North American Fuzzy Information Processing Society : Oct 2016, El Paso, TX.

2016 annual conference of the North American Fuzzy Information Processing Society : (NAFIPS 2016) : El Paso, Texas, USA : 31 October-4 November 2016 : 2016 annual meeting of the North American Fuzzy Information Processing Society : Oct 2016, El Paso, TX.
紙図書
IEEE[2016]<M17-19-193>
国立国会図書館