( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
GPU Exploration of Two-Player Games with Perfect Hash Functions.

, , и . SOCS, стр. 23-30. AAAI Press, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Stefan Edelkamp

Stefan Edelkamp

Stefan Schwärzler

Graphische Modelle im natürlichsprachlichen Mensch-Maschine-Dialog. TU München, (2010)

Stefan Weiß

Deformation quantization of principal fibre bundles and classical gauge theories. Uni Freiburg, (2009)

Stefan Reisbacher

Funktionelle Analyse von Cryptochrom 3 aus Arabidopsis thaliana. Uni Marburg, (2009)
 

Другие публикации лиц с тем же именем

Mixed propositional and numerical planning in the model checking. International Conference on Artificial Intelligence Planning and Scheduling: Workshop on Planning for Temporal Domains, (2002)Error Detection with Directed Symbolic Model Checking., и . World Congress on Formal Methods, том 1708 из Lecture Notes in Computer Science, стр. 195-211. Springer, (1999)Electric Vehicle Location-Routing Task-Motion Planning., и . CASE, стр. 1-7. IEEE, (2023)Branch-and-Bound Optimization of a Multiagent System for Flow Production using Model Checking., и . ICAART (1), стр. 27-37. SciTePress, (2016)Multi-goal motion planning with physics-based game engines., и . CIG, стр. 1-8. IEEE, (2014)The Weak-Heap Family of Priority Queues in Theory and Praxis., , и . CATS, том 128 из CRPIT, стр. 103-112. Australian Computer Society, (2012)Mixed Propositional and Numeric Planning in the Model Checking Integrated Planning System.. AIPS Workshop on Planning for Temporal Domains, стр. 47-55. (2002)Challenging Human Supremacy in Skat.. SOCS, стр. 52-60. AAAI Press, (2019)Heuristic Search Planning with BDDs.. PuK, (2000)MIPS: The Model-Checking Integrated Planning System., и . AI Magazine, 22 (3): 67-72 (2001)