Autor der Publikation

Experiments with Automated Reasoning in the Class.

, , , , und . CICM, Volume 13467 von Lecture Notes in Computer Science, Seite 287-304. Springer, (2022)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Validating Back-links of FOLID Cyclic Pre-proofs.. CL&C, Volume 281 von EPTCS, Seite 39-53. (2018)Certification of Sorting Algorithms Using Theorema and Coq., , und . SCSS, Volume 14991 von Lecture Notes in Computer Science, Seite 38-56. Springer, (2024)Experiments with Automated Reasoning in the Class., , , , und . CICM, Volume 13467 von Lecture Notes in Computer Science, Seite 287-304. Springer, (2022)Logic, Prolog, and Legal Sentence., , und . ICLP Workshop: Legal Application of Logic Programming, (1994)SPIKE, an automatic theorem prover - revisited.. SYNASC, Seite 93-96. IEEE, (2020)Mechanical certification of FOLID cyclic proofs.. Ann. Math. Artif. Intell., 91 (5): 651-673 (Oktober 2023)E-Cyclist: Implementation of an Efficient Validation of FOLID Cyclic Induction Reasoning.. SCSS, Volume 342 von EPTCS, Seite 129-135. (2021)Certification of Tail Recursive Bubble-Sort in Theorema and Coq., , und . LPAR Complementary Volume, Volume 18 von Kalpa Publications in Computing, Seite 53-68. EasyChair, (2024)