Interactive Theorem Proving And Program Development

·2004·DOI

Health Data Science

Data Science and Technologies

Algorithms and Logical Systems

Probabilistic Programming Methods

Role in the Field

Neutralin Health Data Science

Neutralin Data Science and Technologies

Neutralin Algorithms and Logical Systems

Neutralin Probabilistic Programming Methods

Abstract

Citations

885

Year

2004

PageRank

3.8 / 10

Relative influence (log-scaled)