Tree Neural Networks in HOL4
Work
Year: 2020
Type: book-chapter
Author Thibault Gauthier
Institution Czech Technical University in Prague
Cites: 11
Cited by: 4
Related to: 10
FWCI: 2.275
Citation percentile (by year/subfield): 83.98
Subfield: Molecular Biology
Domain: Life Sciences
Open Access status: closed