( 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

Kai Kerber

Robert Kerber

Harald Kerber

Christian Kerber

 

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

Reformulating Resolution Problems by Tactics., и . WOCFAI, стр. 169-180. Angkor, 6, rue Maître-Albert, 75005 Paris, France, (1995)Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts., , и . GI-Jahrestagung, том P-220 из LNI, стр. 153-156. GI, (2013)On the Translation of Higher-Order Problems into First-Order Logic.. ECAI, стр. 145-149. John Wiley and Sons, Chichester, (1994)What makes a problem hard for XCS?, и . Advances in learning classifier systems: Third international workshop, IWLCS 2000 (LNAI 1996), Springer-Verlag, Berlin Heidelberg, (2001)Living with Paradoxes.. WoLLIC, том 123 из Electronic Notes in Theoretical Computer Science, стр. 151-163. Elsevier, (2004)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.Auction Theory Toolbox, , , , , , и . (2015)Applying the Isabelle Insider Framework to Airplane Security., и . CoRR, (2020)Applying the Isabelle Insider framework to airplane security., и . Sci. Comput. Program., (2021)