Jump to main content

yr 〜
yr

Search results 5

KI 2011: advances in artificial intelligence : 34th annual German conference on AI : Berlin, Germany, October 4-7, 2011 : proceedings : Oct 2011, Berlin, Germany. (Lecture Notes in Computer Science ; 7006. Lecture Notes in Artificial Intelligence)

KI 2011: advances in artificial intelligence : 34th annual German conference on AI : Berlin, Germany, October 4-7, 2011 : proceedings : Oct 2011, Berlin, Germany. (Lecture Notes in Computer Science ; 7006. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-12-1334>
National Diet Library
  • Author Heading... Bach, Joscha. Edelkamp, Stefan.

Model checking and artificial intelligence : 4th workshop, MoChArt 4 : Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers. : Aug 2006, Riva del Garda, Italy. (Lecture Notes in Computer Science ; 4428. Lecture Notes in Artificial Intelligence)

Model checking and artificial intelligence : 4th workshop, MoChArt 4 : Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers. : Aug 2006, Riva del Garda, Italy. (Lecture Notes in Computer Science ; 4428. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2007.<M17-08-709>
National Diet Library
  • Author HeadingEdelkamp, Stefan. Lomuscio, Alessio. MoChArt IV...

Heuristic search : theory and applications : hardback

Heuristic search : theory and applications : hardback
Paper図書
Stefan Edelkamp, Stefan SchrödlMorgan Kaufmannc2012
Other Libraries in Japan

Model checking and artificial intelligence : 4th Workshop, MoChArt IV Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers

Model checking and artificial intelligence : 4th Workshop, MoChArt IV Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers
Paper図書
Stefan Edelkamp, Alessio Lomuscio (eds.)Springerc2007
Other Libraries in Japan

Model checking software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007 : proceedings

Model checking software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007 : proceedings
Paper図書
Dragan Bošnački, Stefan Edelkamp (eds.)Springerc2007
Other Libraries in Japan

Reached to the end of result.

RSS