( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Measure Transformer Semantics for Bayesian Machine Learning.

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

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Michael James

Audrein James

Katherine James

Ammini James-Mammoottil

Rojin James

 

Другие публикации лиц с тем же именем

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