本文に飛ぶ

年 〜
年

検索結果 5 件

Robot-human teamwork in dynamic adverse environment : papers from the AAAI fall symposium : technical report FS-11-05 : AAAI event : Nov 2011, Arlington, VA.

Robot-human teamwork in dynamic adverse environment : papers from the AAAI fall symposium : technical report FS-11-05 : AAAI event : Nov 2011, Arlington, VA.
紙図書
AAAI Pressc2011.<M17-12-2503>
国立国会図書館
  • 著者標目..., Geert-Jan M. Pirri, Fiora. American Association for Art...

Robot-Human teamwork in dynamic adverse environment : papers from the AAAI Fall Symposium

Robot-Human teamwork in dynamic adverse environment : papers from the AAAI Fall Symposium
紙図書
Geert-Jan M. Kruijff and Fiora Pirri, cochairsAAAI Pressc2011
全国の図書館
  • 著者標目AAAI Fall Symposium Kruijff, Geert-Jan M. Pirri, Fiora

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings
紙図書
Marta Cialdea Mayer, Fiora Pirri (eds.)Springerc2003
全国の図書館
  • 著者標目TABLEAUX Cialdea Mayer, Marta Pirri, Fiora

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003 : Rome, Italy, September 9-12, 2003 : proceedings. : Sep 2003, Rome, Italy. (Lecture Notes in Computer Science ; 2796. Lecture Notes in Artificial Intelligence)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003 : Rome, Italy, September 9-12, 2003 : proceedings. : Sep 2003, Rome, Italy. (Lecture Notes in Computer Science ; 2796. Lecture Notes in Artificial Intelligence)
紙図書
Springer-Verlagc2003.<M17-04-964>
国立国会図書館
  • 著者標目Cialdea Mayer, Marta, 1956- Pirri, Fiora, Dr. TABLEAUX 2003 (2003 : Ro...

Logical foundations for cognitive agents : contributions in honor of Ray Reiter

Logical foundations for cognitive agents : contributions in honor of Ray Reiter
紙図書
Hector J. Levesque, Fiora Pirri (eds.)Springerc1999
全国の図書館
  • 著者標目Levesque, Hector J. Pirri, Fiora Reiter, Ray

検索結果は以上です。

RSS