Logic for Programming, Artificial Intelligence, and Reasoning
Work
Year: 2005
Type: book
Authors Roberto Di Cosmo, Thomas Dufour
Institution Laboratory Preuves, Programmes et Systèmes
Cites: 19
Cited by: 11
Related to: 10
FWCI: 0.115
Citation percentile (by year/subfield): 66.4
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed