( en | de | ru )

 

Disambiguierung von "Komendantskaya, Ekaterina"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness.

, und . CMCS, Volume 9608 von Lecture Notes in Computer Science, Seite 94-113. Springer, (2016)

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.

Ekaterina Elts

Ekaterina Kostina

Ekaterina amonina

Ekaterina Kuchmina

Ekaterina Markova

 

Weitere Publikationen von Autoren mit dem selben Namen

Structural Resolution for Abstract Compilation of Object-Oriented Languages., , und . CoALP-Ty, Volume 258 von EPTCS, Seite 19-35. (2016)ML4PG in Computer Algebra Verification., und . MKM/Calculemus/DML, Volume 7961 von Lecture Notes in Computer Science, Seite 354-358. Springer, (2013)Neuro-symbolic Representation of Logic Programs Defining Infinite Sets., , und . ICANN (1), Volume 6352 von Lecture Notes in Computer Science, Seite 301-304. Springer, (2010)Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness., und . CMCS, Volume 9608 von Lecture Notes in Computer Science, Seite 94-113. Springer, (2016)Exploiting Parallelism in Coalgebraic Logic Programming., , und . WACT, Volume 303 von Electronic Notes in Theoretical Computer Science, Seite 121-148. Elsevier, (2013)Neural Networks in Imandra: Matrix Representation as a Verification Choice., , und . NSV/FoMLAS@CAV, Volume 13466 von Lecture Notes in Computer Science, Seite 78-95. Springer, (2022)SHERLOCK - An Interface for Neuro-Symbolic Networks., und . NeSy, Volume 764 von CEUR Workshop Proceedings, Seite 39-40. CEUR-WS.org, (2011)The Effect of Manifold Entanglement and Intrinsic Dimensionality on Learning., , und . AAAI, Seite 7160-7167. AAAI Press, (2022)Proof Mining with Dependent Types., und . CICM, Volume 10383 von Lecture Notes in Computer Science, Seite 303-318. Springer, (2017)Marabou 2.0: A Versatile Formal Analyzer of Neural Networks., , , , , , , , , und 7 andere Autor(en). CAV (2), Volume 14682 von Lecture Notes in Computer Science, Seite 249-264. Springer, (2024)