Jump to main content

yr 〜
yr

Search results 155

ACM Transactions on Computational Logic

ACM Transactions on Computational Logic
Paper雑誌雑誌タイトル
ACM<Z54-J660>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

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)
Paper図書
Springer[2014]<M17-15-1256>
National Diet Library
  • Alternative TitleComputational logic in multi-agent systems : 15th...
  • Alternative TitleComputational 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)
Paper図書
Springerc2013.<M17-14-759>
National Diet Library

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

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

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)
Paper図書
Springerc2011.<M17-12-51>
National Diet Library

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
  • Subject Heading...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)
Paper図書
Springerc2010.<M17-11-2027>
National Diet Library
  • Subject Heading...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)
Paper図書
Springerc2009.<M17-10-1716>
National Diet Library
  • Subject Heading...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)
Paper図書
Springerc2008.<M17-09-1015>
National Diet Library

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)
Paper図書
Springerc2007.<M17-08-702>
National Diet Library

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)
Paper図書
Springerc2005.<M17-06-9>
National Diet Library

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)
Paper図書
Springerc2000.<M17-01-1436>
National Diet Library
  • Note (General)...e) Index term: computational logic ; logic based program synthes...
  • Alternative Title... Intelligence) computational logic ; logic based program synthes...
  • Alternative Title... 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)
Paper図書
Springerc2006.<M17-06-2672>
National Diet Library

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)
Paper図書
Springer1999.<M17-00-0083>
National Diet Library
  • Note (General)...l. Index term: computational logic ; NATO. BL shelfmark: 6033.64...
  • Alternative TitleHeld as Summer School computational logic ; NATO
  • Alternative TitleHeld 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)
Paper図書
Springerc2004.<M17-05-1130>
National Diet Library
  • Author Heading...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)
Paper図書
Springer1997.<M17-00-0464>
National Diet Library
  • Note (General)... KGC ; Godel ; computational logic ; proof theory. BL shelfmark:...
  • Alternative TitleAlso known as KGC '97 KGC ; Godel ; computational logic ; proof theory
  • Alternative TitleAlso 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)
Paper図書
Springer-Verlagc1990.<M17-91-0736>
National Diet Library
  • Note (General)...s) Index term: computational logic ; ESPRIT ; COMPULOG. BL shelf...
  • Alternative Title(ESPRIT Basic Research Series) computational logic ; ESPRIT ; COMPULOG
  • Alternative Title(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)
Paper図書
Springer-Verlagc1994.<M15-A9451>
National Diet Library

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds. (Lecture notes in computer science)

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlag1993.<M15-A9002>
National Diet Library
RSS