Did you mean: interaction

search result

Cover von Interactive Collaborative Robotics
Second International Conference, ICR 2017, Hatfield, UK, September 12 - 16, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 10459
Media group: MONOGRAPHIE
Cover von Interactive Collaborative Robotics
First International Conference, ICR 2016, Budapest, Hungary, August 24 - 26, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 9812
Media group: MONOGRAPHIE
Cover von Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22 - 25, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9807
Media group: MONOGRAPHIE
Cover von Interactive Theorem Proving
6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9236
Media group: MONOGRAPHIE
Cover von Interactive Theorem Proving
5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14 - 17, 2014, Proceedings
Search for this author
Year: 2014
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 8558
Media group: MONOGRAPHIE
Cover von Interactive Theorem Proving
4th International Conference, ITP 2013, Rennes, France, July 22 - 26, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7998
Media group: MONOGRAPHIE
Cover von Interactive Theorem Proving
Third International Conference, ITP 2012, Princeton, NJ, USA, August 13 - 15, 2012 : Proceedings
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7406
Media group: MONOGRAPHIE
Cover von Interactive Theorem Proving
Second International Conference, Berg en Dal, The Netherlands, August 22 - 25, 2011, Proceedings
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6898
Media group: MONOGRAPHIE
Cover von Interactive Theorem Proving
First International Conference, Edinburgh, UK, July 11 - 14, 2010, Proceedings
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6172
Media group: MONOGRAPHIE
Cover von Perception and interactive technologies
international tutorial and research workshop, Kloster Irsee, Germany, June 19 - 21, 2006 : proceedings
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 4021
Media group: MONOGRAPHIE
OPEN V 11.1.0.0