Old Web
English
Sign In
Acemap
>
authorDetail
>
Sylvain Beauvoir
Sylvain Beauvoir
AND gate
Logical reasoning
Computer science
Theoretical computer science
1
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Proof, reasoning and logic at the interface between Mathematics and Computer Science : toward a framework for analyzing problem solving
2019
Simon Modeste
Sylvain Beauvoir
Jonathan Chappelon
Viviane Durand-Guerrier
Nicolás León
Antoine Meyer
Show All
Source
Cite
Save
Citations (0)
1