( en | de | ru )

 

Disambiguierung von "Margetson, James"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Measure Transformer Semantics for Bayesian Machine Learning.

, , , , und . Log. Methods Comput. Sci., (2013)

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.

Michael James

Audrein James

Katherine James

Ammini James-Mammoottil

Rojin James

 

Weitere Publikationen von Autoren mit dem selben Namen

Extensible pattern matching via a lightweight language extension., , und . ICFP, Seite 29-40. ACM, (2007)Completeness theorem., und . Arch. Formal Proofs, (2004)Formal proof development.Measure Transformer Semantics for Bayesian Machine Learning., , , , und . ESOP, Volume 6602 von Lecture Notes in Computer Science, Seite 77-96. Springer, (2011)A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic., und . TPHOLs, Volume 3603 von Lecture Notes in Computer Science, Seite 294-309. Springer, (2005)Measure Transformer Semantics for Bayesian Machine Learning., , , , und . Log. Methods Comput. Sci., (2013)