PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Jamnik, Mateja"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Unsupervised and interpretable scene discovery with Discrete-Attend-Infer-Repeat.

, , und . CoRR, (2019)

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.

Keine Personen gefunden für den Autorennamen Jamnik, Mateja
Eine Person hinzufügen mit dem Namen Jamnik, Mateja
 

Weitere Publikationen von Autoren mit dem selben Namen

Diagrammatic Reasoning in Separation Logic., , , und . Diagrams, Volume 5223 von Lecture Notes in Computer Science, Seite 408-411. Springer, (2008)Using Animation in Diagrammatic Theorem Proving., , , und . Diagrams, Volume 2317 von Lecture Notes in Computer Science, Seite 46-60. Springer, (2002)Diabelli: A Heterogeneous Proof System., und . IJCAR, Volume 7364 von Lecture Notes in Computer Science, Seite 559-566. Springer, (2012)Deductive reasoning about expressive statements using external graphical representations., , , und . CogSci, cognitivesciencesociety.org, (2018)Interactive visual machine learning in spreadsheets., , , und . VL/HCC, Seite 159-163. IEEE Computer Society, (2015)Inspection and Selection of Representations., , , , , und . CICM, Volume 11617 von Lecture Notes in Computer Science, Seite 227-242. Springer, (2019)Reasoning with Concept Diagrams About Antipatterns in Ontologies., , , und . CICM, Volume 10383 von Lecture Notes in Computer Science, Seite 255-271. Springer, (2017)Bayesian Optimisation with Gaussian Processes for Premise Selection., , , , und . CoRR, (2019)Reasoning with Concept Diagrams about Antipatterns., , , und . IWIL@LPAR, Volume 1 von Kalpa Publications in Computing, EasyChair, (2017)Combined reasoning by automated cooperation., , , und . J. Applied Logic, 6 (3): 318-342 (2008)