( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Auction Theory Toolbox

, , , , , , и . (2015)

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.

Manfred Kerber

Christian Kerber

Horst Kerber

Bruno Kerber

Kai Kerber

 

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

Reformulating Resolution Problems by Tactics., и . WOCFAI, стр. 169-180. Angkor, 6, rue Maître-Albert, 75005 Paris, France, (1995)On the Translation of Higher-Order Problems into First-Order Logic.. ECAI, стр. 145-149. John Wiley and Sons, Chichester, (1994)Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts., , и . GI-Jahrestagung, том P-220 из LNI, стр. 153-156. GI, (2013)What makes a problem hard for XCS?, и . Advances in learning classifier systems: Third international workshop, IWLCS 2000 (LNAI 1996), Springer-Verlag, Berlin Heidelberg, (2001)Formal representation and proof for cooperative games, , и . Symposium on Mathematical Practice and Cognition II, стр. 15--18. Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), (2012)The ForMaRE Project -- Formal Mathematical Reasoning in Economics, , и . Intelligent Computer Mathematics, 7961, стр. 330--334. Springer, (2013)Developing an Auction Theory Toolbox, , , и . Enabling Domain Experts to use Formalised Reasoning, Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), (2013)Formalising ``100'' Theorems/Models/Theories in Economics, , и . (2012)A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory, , , , , , и . Intelligent Computer Mathematics, 7961, стр. 200--215. Springer, (2013)Automated Reasoning for Economics, , и . 20th Automated Reasoning Workshop (ARW), (2013)Invited paper.