( en | de | ru )

 

Disambiguierung von "Villadsen, Jørgen"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Paraconsistent Higher Order Logic.

. AISC, Volume 3249 von Lecture Notes in Computer Science, Seite 38-51. Springer, (2004)

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.

Jørgen Skov Sørensen

Anders Jørgen Bjørndalen

Hans-Jørgen Schanz

Jörgen Norén

Jörgen Haalck

 

Weitere Publikationen von Autoren mit dem selben Namen

Meaning and Partiality Revised.. SCAI, Volume 66 von Frontiers in Artificial Intelligence and Applications, Seite 163-164. IOS Press, (2001)Information States as First Class Citizens.. ACL, Seite 303-305. ACL, (1992)Querying Social Practices in Hospital Context., , , und . ICAART (2), Seite 405-412. SciTePress, (2018)Logical Entity Level Sentiment Analysis., und . FG, Volume 10686 von Lecture Notes in Computer Science, Seite 54-71. Springer, (2017)Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper)., , und . IJCAR (1), Volume 12166 von Lecture Notes in Computer Science, Seite 474-481. Springer, (2020)Paraconsistent Assertions.. MATES, Volume 3187 von Lecture Notes in Computer Science, Seite 99-113. Springer, (2004)Students' Proof Assistant (SPA)., , und . ThEdu@FLoC, Volume 290 von EPTCS, Seite 1-13. (2018)A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL., , und . CILC, Volume 3002 von CEUR Workshop Proceedings, Seite 107-121. CEUR-WS.org, (2021)SyntaxTrain: relieving the pain of learning syntax., , und . ITiCSE, Seite 387. ACM, (2011)Using Isabelle in Two Courses on Logic and Automated Reasoning., und . FMTea, Volume 13122 von Lecture Notes in Computer Science, Seite 117-132. Springer, (2021)