( en | de | ru )

 

Disambiguierung von "Kerber, Manfred"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reformulating Resolution Problems by Tactics.

, und . WOCFAI, Seite 169-180. Angkor, 6, rue Maître-Albert, 75005 Paris, France, (1995)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Manfred Kerber

Kai Kerber

Robert Kerber

Harald Kerber

Christian Kerber

 

Weitere Publikationen von Autoren mit dem selben Namen

Reformulating Resolution Problems by Tactics., und . WOCFAI, Seite 169-180. Angkor, 6, rue Maître-Albert, 75005 Paris, France, (1995)On the Translation of Higher-Order Problems into First-Order Logic.. ECAI, Seite 145-149. John Wiley and Sons, Chichester, (1994)Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts., , und . GI-Jahrestagung, Volume P-220 von LNI, Seite 153-156. GI, (2013)What makes a problem hard for XCS?, und . Advances in learning classifier systems: Third international workshop, IWLCS 2000 (LNAI 1996), Springer-Verlag, Berlin Heidelberg, (2001)Developing an Auction Theory Toolbox, , , und . 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, , und . (2012)Formal representation and proof for cooperative games, , und . Symposium on Mathematical Practice and Cognition II, Seite 15--18. Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), (2012)The ForMaRE Project -- Formal Mathematical Reasoning in Economics, , und . Intelligent Computer Mathematics, 7961, Seite 330--334. Springer, (2013)Applying the Isabelle Insider Framework to Airplane Security., und . CoRR, (2020)A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory, , , , , , und . Intelligent Computer Mathematics, 7961, Seite 200--215. Springer, (2013)