Jump to main content

yr 〜
yr

Search results 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.
Paper図書
AAAI Pressc2011.<M17-12-2503>
National Diet Library
  • Author Heading..., Geert-Jan M. Pirri, Fiora. American Association for Arti...

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
Paper図書
Geert-Jan M. Kruijff and Fiora Pirri, cochairsAAAI Pressc2011
Other Libraries in Japan

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
Paper図書
Marta Cialdea Mayer, Fiora Pirri (eds.)Springerc2003
Other Libraries in Japan

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)
Paper図書
Springer-Verlagc2003.<M17-04-964>
National Diet Library

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

Logical foundations for cognitive agents : contributions in honor of Ray Reiter
Paper図書
Hector J. Levesque, Fiora Pirri (eds.)Springerc1999
Other Libraries in Japan

Reached to the end of result.

RSS