( en | de | ru )

 

Disambiguierung von "Windsteiger, Wolfgang"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.

, , , , , , und . MKM/Calculemus/DML, Volume 7961 von Lecture Notes in Computer Science, Seite 200-215. Springer, (2013)

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.

Wolfgang Hoffmann

Wolfgang Pfabe

Wolfgang Pässler

Wolfgang Richter

Wolfgang Steyer

 

Weitere Publikationen von Autoren mit dem selben Namen

Theorema 2.0: A System for Mathematical Theory Exploration.. ICMS, Volume 8592 von Lecture Notes in Computer Science, Seite 49-52. Springer, (2014)A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory, , , , , , und . Intelligent Computer Mathematics, 7961, Seite 200--215. Springer, (2013)Auction Theory Toolbox, , , , , , und . (2015)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)Computational Logic in the First Semester of Computer Science: An Experience Report., , , , und . CSEDU (2), Seite 374-381. SCITEPRESS, (2020)GRÖBNER: A Library for Computing Gröbner Bases based on SACLIB, und . RISC-Linz, (1993)Theorema., , und . The Seventeen Provers of the World, Volume 3600 von Lecture Notes in Computer Science, Springer, (2006)Learning to Reason Assisted by Automated Reasoning.. CICM, Volume 13467 von Lecture Notes in Computer Science, Seite 305-320. Springer, (2022)Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App., , , , und . ITiCSE, Seite 61-67. ACM, (2020)The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema., und . CICM, Volume 10383 von Lecture Notes in Computer Science, Seite 25-39. Springer, (2017)