Proof and refutation in MALL as a game
Work
Year: 2009
Type: article
Source: Annals of Pure and Applied Logic
Institutions Laboratoire d'Informatique de l'École Polytechnique, École Polytechnique, Université Paris Cité, Laboratory Preuves, Programmes et Systèmes
Cites: 36
Cited by: 18
Related to: 10
FWCI: 1.999
Citation percentile (by year/subfield): 90.49
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: bronze