本文に飛ぶ

年 〜
年

検索結果 131 件

計算論理と人間の思考 : 推論AIへの論理的アプローチ

計算論理と人間の思考 : 推論AIへの論理的アプローチ
紙図書
ロバート・コワルスキ 著, 坂間千秋 監訳, 尾崎竜史, 伊藤武芳 訳九夏社2025.3<M121-R181>
国立国会図書館全国の図書館
  • 一般注記原タイトル: Computational logic and human thinking
  • その他のタイトルComputational logic and human thinking

ACM Transactions on Computational Logic

ACM Transactions on Computational Logic
紙雑誌雑誌タイトル
ACM<Z54-J660>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

Computational logic in multi-agent systems : 15th international workshop, CLIMA XV : Prague, Czech Republic, August 18-19, 2014 : proceedings : Aug 2014, Prague, Czech Republic. (Lecture Notes in Computer Science ; 8624. Lecture Notes in Artificial Intelligence)

Computational logic in multi-agent systems : 15th international workshop, CLIMA XV : Prague, Czech Republic, August 18-19, 2014 : proceedings : Aug 2014, Prague, Czech Republic. (Lecture Notes in Computer Science ; 8624. Lecture Notes in Artificial Intelligence)
紙図書
Springer[2014]<M17-15-1256>
国立国会図書館
  • 並列タイトル等（連結）Computational logic in multi-agent systems : 15th...
  • 並列タイトル等Computational logic in multi-agent systems : 15th...

Computational logic in multi-agent systems : 14th international workshop, CLIMA 14 : Corunna, Spain, September 16-18, 2013 : proceedings : Sep 2013, Corunna, Spain. (Lecture Notes in Computer Science ; 8143. Lecture Notes in Artificial Intelligence)

Computational logic in multi-agent systems : 14th international workshop, CLIMA 14 : Corunna, Spain, September 16-18, 2013 : proceedings : Sep 2013, Corunna, Spain. (Lecture Notes in Computer Science ; 8143. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2013.<M17-14-759>
国立国会図書館

The nature of computation : logic, algorithms, applications : 9th conference on computability in Europe, CiE 2013 : Milan, Italy, July 1-5, 2013 : proceedings : annual CiE conference : Jul 2013, Milan, Italy. (Lecture Notes in Computer Science ; 7921)

The nature of computation : logic, algorithms, applications : 9th conference on computability in Europe, CiE 2013 : Milan, Italy, July 1-5, 2013 : proceedings : annual CiE conference : Jul 2013, Milan, Italy. (Lecture Notes in Computer Science ; 7921)
紙図書
Springerc2013.<M17-14-558>
国立国会図書館

Computational logic in multi-agent systems : 13th international workshop, CLIMA 13 : Montpellier, France, August 27-28, 2012 : proceedings : CLIMA-13 : Aug 2012, Montpellier, France. (Lecture Notes in Computer Science ; 7486. Lecture Notes in Artificial Intelligence)

Computational logic in multi-agent systems : 13th international workshop, CLIMA 13 : Montpellier, France, August 27-28, 2012 : proceedings : CLIMA-13 : Aug 2012, Montpellier, France. (Lecture Notes in Computer Science ; 7486. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2012.<M17-13-646>
国立国会図書館

Computational logic in multi-agent systems : 12th international workshop, CLIMA 12 : Barcelona, Spain, July 17-18, 2011 : proceedings : Jul 2011, Barcelona, Spain. (Lecture Notes in Computer Science ; 6814. Lecture Notes in Artificial Intelligence)

Computational logic in multi-agent systems : 12th international workshop, CLIMA 12 : Barcelona, Spain, July 17-18, 2011 : proceedings : Jul 2011, Barcelona, Spain. (Lecture Notes in Computer Science ; 6814. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2011.<M17-12-51>
国立国会図書館

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.

Computational logic in multi-agent systems : 9th international workshop, CLIMA 9 : Dresden, Germany, September 29-30, 2008 : revised selected and invited papers. : Sep 2008, Dresden, Germany. (Lecture Notes in Computer Science ; 5405. Lecture Notes in Artificial Intelligence)

Computational logic in multi-agent systems : 9th international workshop, CLIMA 9 : Dresden, Germany, September 29-30, 2008 : revised selected and invited papers. : Sep 2008, Dresden, Germany. (Lecture Notes in Computer Science ; 5405. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2009.<M17-10-1716>
国立国会図書館
  • 件名...entensystem -- Computational logic -- Kongress --......Dresden <2008> Computational logic. Mehragentensystem. Dresden (...

Computational logic in multi-agent systems : 8th international workshop, CLIMA 8 : Porto, Portugal, September 10-11, 2007 : revised selected and invited papers. : Sep 2007, Porto, Portugal. (Lecture Notes in Computer Science ; 5056. Lecture Notes in Artificial Intelligence)

Computational logic in multi-agent systems : 8th international workshop, CLIMA 8 : Porto, Portugal, September 10-11, 2007 : revised selected and invited papers. : Sep 2007, Porto, Portugal. (Lecture Notes in Computer Science ; 5056. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2008.<M17-09-1015>
国立国会図書館

Computational logic in multi-agent systems : 7th international workshop, CLIMA 7 : Hakodate, Japan, May 8-9, 2006 : revised selected and invited papers. : May 2006, Hakodate, Japan. (Lecture Notes in Computer Science ; 4371. Lecture Notes in Artificial Intelligence)

Computational logic in multi-agent systems : 7th international workshop, CLIMA 7 : Hakodate, Japan, May 8-9, 2006 : revised selected and invited papers. : May 2006, Hakodate, Japan. (Lecture Notes in Computer Science ; 4371. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2007.<M17-08-702>
国立国会図書館

Computational logic in multi-agent systems : 5th international workshop, CLIMA 5 : Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers. : Sep 2004, Lisbon, Portugal. (Lecture Notes in Computer Science ; 3487. Lecture Notes in Artificial Intelligence)

Computational logic in multi-agent systems : 5th international workshop, CLIMA 5 : Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers. : Sep 2004, Lisbon, Portugal. (Lecture Notes in Computer Science ; 3487. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2005.<M17-06-9>
国立国会図書館

Computational logic-CL 2000 : first international conference, London, UK, July 24-28, 2000 : proceedings -- : Computational logic : International conference : 1st : Jul 2000, London, UK. (Lecture Notes in Computer Science ; 1861)

Computational logic-CL 2000 : first international conference, London, UK, July 24-28, 2000 : proceedings -- : Computational logic : International conference : 1st : Jul 2000, London, UK. (Lecture Notes in Computer Science ; 1861)
紙図書
Springerc2000.<M17-01-1436>
国立国会図書館
  • 一般注記...e) Index term: computational logic ; logic based program synthes...
  • 並列タイトル等（連結）... Intelligence) computational logic ; logic based program synthes...
  • 並列タイトル等... Intelligence) computational logic ; logic based program synthes...

Computational logic in multi-agent systems : 6th international workshop, CLIMA 6 : London, UK, June 27-29, 2005 : revised selected and invited papers. : Jun 2005, London, UK. (Lecture Notes in Computer Science ; 3900. Lecture Notes in Artificial Intelligence. State-of-the-Art Survey)

Computational logic in multi-agent systems : 6th international workshop, CLIMA 6 : London, UK, June 27-29, 2005 : revised selected and invited papers. : Jun 2005, London, UK. (Lecture Notes in Computer Science ; 3900. Lecture Notes in Artificial Intelligence. State-of-the-Art Survey)
紙図書
Springerc2006.<M17-06-2672>
国立国会図書館

Computational logic : Advanced study institute : Jul 1997, Marktoberdorf, Germany. (NATO ASI Series Series F ; 165)

Computational logic : Advanced study institute : Jul 1997, Marktoberdorf, Germany. (NATO ASI Series Series F ; 165)
紙図書
Springer1999.<M17-00-0083>
国立国会図書館
  • 一般注記...l. Index term: computational logic ; NATO. BL shelfmark: 6033.64...
  • 並列タイトル等（連結）Held as Summer School computational logic ; NATO
  • 並列タイトル等Held as Summer School computational logic ; NATO

Computational logic in multi-agent systems : 4th international workshop, CLIMA 4 : Fort Lauderdale, FL, USA, January 6-7, 2004 : revised selected and invited papers. : Jan 2004, Fort Lauderdale, FL. (Lecture Notes in Computer Science ; 3259. Lecture Notes in Artificial Intelligence. Hot Topics)

Computational logic in multi-agent systems : 4th international workshop, CLIMA 4 : Fort Lauderdale, FL, USA, January 6-7, 2004 : revised selected and invited papers. : Jan 2004, Fort Lauderdale, FL. (Lecture Notes in Computer Science ; 3259. Lecture Notes in Artificial Intelligence. Hot Topics)
紙図書
Springerc2004.<M17-05-1130>
国立国会図書館
  • 著者標目...al Workshop on Computational Logic in Multi-Agent Systems (4th ;...

Computational logic and proof theory : 5th Kurt Godel colloquium : Aug 1997, Vienna, Austria. (Lecture Notes in Computer Science ; 1289)

Computational logic and proof theory : 5th Kurt Godel colloquium : Aug 1997, Vienna, Austria. (Lecture Notes in Computer Science ; 1289)
紙図書
Springer1997.<M17-00-0464>
国立国会図書館
  • 一般注記... KGC ; Godel ; computational logic ; proof theory. BL shelfmark:...
  • 並列タイトル等（連結）Also known as KGC '97 KGC ; Godel ; computational logic ; proof theory
  • 並列タイトル等Also known as KGC '97 KGC ; Godel ; computational logic ; proof theory

Computational logic : Symposium : 7th Conference : Nov 1990, Brussels, Belgium. (EUR ; 13147)

Computational logic : Symposium : 7th Conference : Nov 1990, Brussels, Belgium. (EUR ; 13147)
紙図書
Springer-Verlagc1990.<M17-91-0736>
国立国会図書館
  • 一般注記...s) Index term: computational logic ; ESPRIT ; COMPULOG. BL shelf...
  • 並列タイトル等（連結）(ESPRIT Basic Research Series) computational logic ; ESPRIT ; COMPULOG
  • 並列タイトル等(ESPRIT Basic Research Series) computational logic ; ESPRIT ; COMPULOG

Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings / Jean-Pierre Jouannaud (ed.). (Lecture notes in computer science)

Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings / Jean-Pierre Jouannaud (ed.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1994.<M15-A9451>
国立国会図書館
RSS