年 〜
年

検索結果 177 件

New essays on Belnap-Dunn logic (Synthese library : studies in epistemology, logic, mtheodology, and philosophy of science ; Volume 418)

New essays on Belnap-Dunn logic (Synthese library : studies in epistemology, logic, mtheodology, and philosophy of science ; Volume 418)
紙図書
Hitoshi Omori, Heinrich Wansing, editors.Springer[2019]<H35-D1>
国立国会図書館

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

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

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)
紙図書
Andrei Voronkov, Christoph Weidenbach (eds.).Springer[2013]<X>
国立国会図書館

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

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

2016 31st annual ACM/IEEE symposium on logic in computer science (LICS 2016) : New York, New York, USA : 5-8 July 2016 : LICS conference : logic mentoring workshop : 31st annual ACM-IEEE symposium on logic in computer science : Jul 2016, New York, NY.

2016 31st annual ACM/IEEE symposium on logic in computer science (LICS 2016) : New York, New York, USA : 5-8 July 2016 : LICS conference : logic mentoring workshop : 31st annual ACM-IEEE symposium on logic in computer science : Jul 2016, New York, NY.
紙図書
IEEE[2016]<M17-20-322>
国立国会図書館

Rewriting and typed lambda calculi : joint international conference, RTA-TLCA 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : 25th international conference on rewriting techniques and applications (RTA) : 12th international conference on typed lambda calculus and applications (TLCA 2014) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8560. Advanced Research in Computing and Software Science)

Rewriting and typed lambda calculi : joint international conference, RTA-TLCA 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : 25th international conference on rewriting techniques and applications (RTA) : 12th international conference on typed lambda calculus and applications (TLCA 2014) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8560. Advanced Research in Computing and Software Science)
紙図書
Springer[2014]<M17-15-1249>
国立国会図書館

Inductive logic programming : 25th international conference, ILP 2015 : Kyoto, Japan, August 20-22, 2015 : revised selected papers : Aug 2015, Kyoto, Japan. (Lecture Notes in Computer Science ; 9575. Lecture Notes in Artificial Intelligence)

Inductive logic programming : 25th international conference, ILP 2015 : Kyoto, Japan, August 20-22, 2015 : revised selected papers : Aug 2015, Kyoto, Japan. (Lecture Notes in Computer Science ; 9575. Lecture Notes in Artificial Intelligence)
紙図書
Springer[2016]<M17-20-869>
国立国会図書館

Reversible computation : 6th international conference, RC 2014 : Kyoto, Japan, July 10-11, 2014 : proceedings : RC2014 : Jul 2014, Kyoto, Japan. (Lecture Notes in Computer Science ; 8507)

Reversible computation : 6th international conference, RC 2014 : Kyoto, Japan, July 10-11, 2014 : proceedings : RC2014 : Jul 2014, Kyoto, Japan. (Lecture Notes in Computer Science ; 8507)
紙図書
Springer[2014]<M17-15-1244>
国立国会図書館

Machines, computations, and universality : 7th international conference, MCU 2015 : Famagusta, North Cyprus, September 9-11, 2015 : proceedings : Sep 2015, Famagusta, Cyprus. (Lecture Notes in Computer Science ; 9288)

Machines, computations, and universality : 7th international conference, MCU 2015 : Famagusta, North Cyprus, September 9-11, 2015 : proceedings : Sep 2015, Famagusta, Cyprus. (Lecture Notes in Computer Science ; 9288)
紙図書
Springer[2015]<M17-16-612>
国立国会図書館

2015 30th annual ACM/IEEE symposium on logic in computer science : (LICS 2015) : Kyoto, Japan : 6-10 July 2015 : LICS 2015 conference : Jul 2015, Kyoto, Japan.

2015 30th annual ACM/IEEE symposium on logic in computer science : (LICS 2015) : Kyoto, Japan : 6-10 July 2015 : LICS 2015 conference : Jul 2015, Kyoto, Japan.
紙図書
IEEE[2015]<M17-17-1219>
国立国会図書館

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

Handbook of practical logic and automated reasoning / John Harrison.

Handbook of practical logic and automated reasoning / John Harrison.
紙図書
Cambridge University Press2009.<M154-B88>
国立国会図書館

Computational logic in multi-agent systems : 11th international workshop, CLIMA 11 : Lisbon, Portugal, August 16-17, 2010 : proceedings. : CLIMA-11 : Aug 2010, Lisbon, Portugal. (Lecture Notes in Computer Science ; 6245. Lecture Notes in Artificial Intelligence)

Computational logic in multi-agent systems : 11th international workshop, CLIMA 11 : Lisbon, Portugal, August 16-17, 2010 : proceedings. : CLIMA-11 : Aug 2010, Lisbon, Portugal. (Lecture Notes in Computer Science ; 6245. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2010.<M17-10-4383>
国立国会図書館
  • 件名...agentensystem. Computational logic. Lissabon <2010>

Computational logic in multi-agent systems : 10th international workshop, CLIMA 10 : Hamburg, Germany, September 9-10, 2009 : revised selected and invited papers. : CLIMA-10 : Sep 2009, Hamburg, Germany. (Lecture Notes in Computer Science ; 6214. Lecture Notes in Artificial Intelligence)

Computational logic in multi-agent systems : 10th international workshop, CLIMA 10 : Hamburg, Germany, September 9-10, 2009 : revised selected and invited papers. : CLIMA-10 : Sep 2009, Hamburg, Germany. (Lecture Notes in Computer Science ; 6214. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2010.<M17-11-2027>
国立国会図書館
  • 件名...agentensystem. Computational logic. Hamburg <2009> Kongress.

Automated reasoning : 7th international joint conference, IJCAR 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 19-22, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8562. Lecture Notes in Artificial Intelligence)

Automated reasoning : 7th international joint conference, IJCAR 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 19-22, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8562. Lecture Notes in Artificial Intelligence)
紙図書
Springer[2014]<M17-15-545>
国立国会図書館

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

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