( en | de | ru )

 

Disambiguierung von "Kaliszyk, Cezary"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
General Bindings and Alpha-Equivalence in Nominal Isabelle.

, und . ESOP, Volume 6602 von Lecture Notes in Computer Science, Seite 480-500. Springer, (2011)

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.

Cezary Miller

Cezary Iwan

Cezary Rosenberger

Cezary Sydlo

Cezary Slominski

 

Weitere Publikationen von Autoren mit dem selben Namen

Monte Carlo Tableau Proof Search., , und . CADE, Volume 10395 von Lecture Notes in Computer Science, Seite 563-579. Springer, (2017)Microeconomics and the First Welfare Theorem., und . Arch. Formal Proofs, (2017)Initial Experiments with Statistical Conjecturing over Large Formal Corpora., , und . FM4M/MathUI/ThEdu/DP/WIP@CIKM, Volume 1785 von CEUR Workshop Proceedings, Seite 219-228. CEUR-WS.org, (2016)Computing with Classical Real Numbers, und . CoRR, (2008)Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic., und . CICM, Volume 10383 von Lecture Notes in Computer Science, Seite 193-207. Springer, (2017)Matching Concepts across HOL Libraries., und . CICM, Volume 8543 von Lecture Notes in Computer Science, Seite 267-281. Springer, (2014)VizAR: Visualization of Automated Reasoning Proofs (System Description)., und . CICM, Volume 14101 von Lecture Notes in Computer Science, Seite 303-308. Springer, (2023)Certified Computer Algebra on Top of an Interactive Theorem Prover., und . Calculemus/MKM, Volume 4573 von Lecture Notes in Computer Science, Seite 94-105. Springer, (2007)Proof Assistant Decision Procedures for Formalizing Origami., und . Calculemus/MKM, Volume 6824 von Lecture Notes in Computer Science, Seite 45-57. Springer, (2011)Automated Reasoning Service for HOL Light., und . MKM/Calculemus/DML, Volume 7961 von Lecture Notes in Computer Science, Seite 120-135. Springer, (2013)