Jump to main content

yr 〜
yr

Search results 3

Frontiers of combining systems : 10th international symposium, FroCoS 2015 : Wroclaw, Poland, September 21-24, 2015 : proceedings : FroCoS meetings : Sep 2015, Wroclaw, Poland. (Lecture Notes in Computer Science ; 9322. Lecture Notes in Artificial Intelligence)

Frontiers of combining systems : 10th international symposium, FroCoS 2015 : Wroclaw, Poland, September 21-24, 2015 : proceedings : FroCoS meetings : Sep 2015, Wroclaw, Poland. (Lecture Notes in Computer Science ; 9322. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2015]<M17-16-635>
National Diet Library
  • Author HeadingFroCoS (Symposium) (10th : 2015 : Wrocław, Poland) Lutz, Carsten, 1971- Ranise, Silvio.

KI 2014: advances in artificial intelligence : 37th annual German conference on AI : Stuttgart, Germany, September 22-26, 2014 : proceedings : Sep 2014, Stuttgart, Germany. (Lecture Notes in Computer Science ; 8736. Lecture Notes in Artificial Intelligence)

KI 2014: advances in artificial intelligence : 37th annual German conference on AI : Stuttgart, Germany, September 22-26, 2014 : proceedings : Sep 2014, Stuttgart, Germany. (Lecture Notes in Computer Science ; 8736. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2014]<M17-15-1693>
National Diet Library
  • Author Heading...gart, Germany) Lutz, Carsten, 1971- Thielscher, Michael.

Logics in artificial intelligence : 11th European conference, JELIA 2008 : Dresden, Germany, September 28-October 1, 2008 : proceedings. : journees europeennes sur la logique en intelligence artificielle : Sep 2008, Dresden, Germany. (Lecture Notes in Computer Science ; 5293. Lecture Notes in Artificial Intelligence)

Logics in artificial intelligence : 11th European conference, JELIA 2008 : Dresden, Germany, September 28-October 1, 2008 : proceedings. : journees europeennes sur la logique en intelligence artificielle : Sep 2008, Dresden, Germany. (Lecture Notes in Computer Science ; 5293. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2008.<M17-10-627>
National Diet Library
  • Author HeadingHölldobler, Steffen, 1957- Lutz, Carsten, 1971- Wansing, H. (Heinrich) JELIA ...

Reached to the end of result.

RSS