Frederic Portoraro (portoraro)
My contributions to Philosophie.ch
No contributions yet
Bibliography
Portoraro, Frederic. 2001.
“Automated Reasoning.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/fall2001/entries/reasoning-automated/.
Portoraro, Frederic. 2005.
“Automated Reasoning.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/win2005/entries/reasoning-automated/.
Portoraro, Frederic. 2010.
“Automated Reasoning.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/win2010/entries/reasoning-automated/.
Portoraro, Frederic. 2014.
“Automated Reasoning.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/win2014/entries/reasoning-automated/.
Portoraro, Frederic. 2019.
“Automated Reasoning.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/spr2019/entries/reasoning-automated/.
Portoraro, Frederic. 2024.
“Automated Reasoning.” in The Stanford Encyclopedia of Philosophy.
Stanford, California: The Metaphysics Research Lab, Center for the Study
of Language; Information, https://plato.stanford.edu/archives/spr2024/entries/reasoning-automated/.