本文に飛ぶ

年 〜
年

検索結果 4 件

KI 2004: advances in artificial intelligence : 27th annual German conference on AI, KI 2004 : Ulm, Germany, September 20-24, 2004 : proceedings. : Sep 2004, Ulm, Germany. (Lecture Notes in Computer Science ; 3238. Lecture Notes in Artificial Intelligence)

KI 2004: advances in artificial intelligence : 27th annual German conference on AI, KI 2004 : Ulm, Germany, September 20-24, 2004 : proceedings. : Sep 2004, Ulm, Germany. (Lecture Notes in Computer Science ; 3238. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2004.<M17-05-149>
国立国会図書館
  • 著者標目Biundo, Susanne. Frühwirth, Thom, 1962- Palm, ...

KI 2004 : advances in artificial intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004 : proceedings

KI 2004 : advances in artificial intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004 : proceedings
紙図書
Susanne Biundo, Thom Frühwirth, Günther Palm (eds.)Springerc2004
全国の図書館

Recent advances in AI planning : 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999 : proceedings

Recent advances in AI planning : 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999 : proceedings
紙図書
Susanne Biundo, Maria Fox (eds.)Springerc2000
全国の図書館

Automatische Synthese rekursiver Programme als Beweisverfahren : us : gw

Automatische Synthese rekursiver Programme als Beweisverfahren : us : gw
紙図書
Susanne BiundoSpringer-Verlagc1992
全国の図書館

検索結果は以上です。

RSS