( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Computational Logic in the First Semester of Computer Science: An Experience Report.

, , , , и . CSEDU (2), стр. 374-381. SCITEPRESS, (2020)

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.

Wolfgang Körner

Wolfgang Burgbacher

Wolfgang Rosenberg

Wolfgang Höynck

Wolfgang Paterno

 

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

Theorema 2.0: A System for Mathematical Theory Exploration.. ICMS, том 8592 из Lecture Notes in Computer Science, стр. 49-52. Springer, (2014)A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory, , , , , , и . Intelligent Computer Mathematics, 7961, стр. 200--215. Springer, (2013)Auction Theory Toolbox, , , , , , и . (2015)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)Computational Logic in the First Semester of Computer Science: An Experience Report., , , , и . CSEDU (2), стр. 374-381. SCITEPRESS, (2020)Learning to Reason Assisted by Automated Reasoning.. CICM, том 13467 из Lecture Notes in Computer Science, стр. 305-320. Springer, (2022)Theorema., , и . The Seventeen Provers of the World, том 3600 из Lecture Notes in Computer Science, Springer, (2006)GRÖBNER: A Library for Computing Gröbner Bases based on SACLIB, и . RISC-Linz, (1993)A Set Theory Prover Within Theorema.. EUROCAST, том 2178 из Lecture Notes in Computer Science, стр. 525-539. Springer, (2001)Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App., , , , и . ITiCSE, стр. 61-67. ACM, (2020)