search result

Cover von Automated reasoning with analytic tableaux and related methods
international conference, Rome, Italy, September 9 - 12, 2003 : proceedings
Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 2796
Media group: MONOGRAPHIE
Cover von A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty

A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty

Year: 2018
Media group: LIPIcs
OPEN V 11.1.0.0