Jump to main content

yr 〜
yr

Search results 179

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)
Paper図書
Hitoshi Omori, Heinrich Wansing, editors.Springer[2019]<H35-D1>
National Diet Library
  • Subject HeadingEntailment (Logic) Computer logic.

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)
Paper図書
Springer[2014]<M17-15-728>
National Diet Library
  • Subject HeadingComputer logic--Congresses. Deontic logic--Congresses. Computer logic. Deontic logic.

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
  • Subject Heading...)--Congresses. Computer logic. Maude (Computer program langu...

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
  • Subject HeadingLogic programming. Computer logic.

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)
Paper図書
Springer[2014]<M17-15-1678>
National Diet Library
  • Subject Heading...l linguistics. Computer logic. Language and logic.

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

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)
Paper図書
Springer[2014]<M17-15-1249>
National Diet Library
  • Subject Heading...c--Congresses. Computer logic. Lambda calculus. Rewriting sy...

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.
Paper図書
IEEE[2016]<M17-20-322>
National Diet Library
  • Subject Heading...l--Congresses. Computer logic. Computer programming. Electro...

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)
Paper図書
Springer[2016]<M17-20-869>
National Diet Library
  • Subject Heading...r programming. Computer logic. Logic, Symbolic and mathemati...

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)
Paper図書
Springer[2014]<M17-15-1244>
National Diet Library
  • Subject Heading...s--Congresses. Computer logic. Computer science--Mathematics...

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)
Paper図書
Springer[2015]<M17-16-612>
National Diet Library
  • Subject Heading...c--Congresses. Computer logic. Computer multitasking. Comput...

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.
Paper図書
IEEE[2015]<M17-17-1219>
National Diet Library

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)
Paper図書
Springerc2013.<M17-13-1534>
National Diet Library

Handbook of practical logic and automated reasoning / John Harrison.

Handbook of practical logic and automated reasoning / John Harrison.
Paper図書
Cambridge University Press2009.<M154-B88>
National Diet Library
  • Subject HeadingComputer logic.

Propositional logic

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

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)
Paper図書
Springerc2010.<M17-10-4383>
National Diet Library

Predicate logic

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

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)
Paper図書
Springerc2010.<M17-11-2027>
National Diet Library

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)
Paper図書
Springer[2014]<M17-15-545>
National Diet Library
  • Subject Heading...eorem proving. Computer logic.

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)
Paper図書
Springerc2013.<M17-14-592>
National Diet Library
RSS