Isabelle/HOL
Role in the Field
Neutralin Health Data Science
Neutralin Coffee Science
Neutralin Computational Modeling and Optimization
Neutralin Probabilistic Programming Methods
Abstract
Citations
1,405
Year
2002
PageRank
4.0 / 10
Relative influence (log-scaled)