Automated reasoning and mathematics : essays in memory of William W. McCune /

Código QR

Automated reasoning and mathematics : essays in memory of William W. McCune /

Detalles Bibliográficos
Formato:	Libro
Publicado:	c2013.
Acceso en línea:	Ver documento en línea

Ejemplares similares

Automated reasoning : introduction and applications /
por: Wos, Larry
Publicado: (1984)

Automated reasoning for systems biology and medicine /
Publicado: (2019)

Automated reasoning : 10th international joint conference, IJCAR 2020, Paris, France, july 1–4, 2020, proceedings /
Publicado: (2020)

Automated reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, july 16-19, 2010. Proceedings /
Publicado: (2010)

Automated reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, august 12-15, 2008 proceedings /
Publicado: (2008)

Automated reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /
Publicado: (2012)

Automated reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, june 27 – July 2, 2016, proceedings /
Publicado: (2016)

Mathematics and plausible reasoning /
por: Polya, George 1887-1985
Publicado: (1954)

Mathematics and plausible reasoning /
por: Polya, George
Publicado: (1954)

Automated reasoning : 7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, july 19-22, 2014. Proceedings /
Publicado: (2014)

Automated reasoning : 9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, july 14-17, 2018, proceedings /
Publicado: (2018)

Mathematical thinking and quantitative reasoning
por: Auffmann, Richard N.
Publicado: (2008)

Mathematical reasoning in economics and management science twelve topics
por: Boot, John C. G.
Publicado: (1967)

Automated reasoning with analytic tableaux and related methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, september 16-19, 2013, proceedings /
Publicado: (2013)

Automated reasoning with analytic tableaux and related methods : 28th international conference, TABLEAUX 2019, London, UK, september 3-5, 2019, proceedings /
Publicado: (2019)

Automated reasoning with analytic tableaux and related methods : 24th international conference, TABLEAUX 2015, Wroclaw, Poland, september 21-24, 2015, proceedings /
Publicado: (2015)

Automated reasoning with analytic tableaux and related methods : 26th international conference, TABLEAUX 2017, Brasília, Brazil, september 25–28, 2017, proceedings /
Publicado: (2017)

Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, july 6-10, 2009. Proceedings /
Publicado: (2009)

Automated reasoning with analytic tableaux and related methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, july 4-8, 2011. Proceedings /
Publicado: (2011)

Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings /
Publicado: (2017)

Reasoning and sense making in the mathematics classroom : grade 6-8 /
por: Battista, Michael T.
Publicado: (2017)

Learning, memory and reasoning /
por: Goswami, Usha

Mathematics, automation and intuition in signals inteligence for percussion.
por: Adler, Christopher

Automated reasoning for security protocol analysis and issues in the theory of security : joint workshop, ARSPA-WITS 2010, Paphos, Cyprus, march 27-28, 2010. Revised selected papers /
Publicado: (2010)

Reason, rationality and reasonableness /
por: Tran, van Doan, et al.
Publicado: (2001)

Reason, retionality and reasonableness /
por: Tran, Van Don, 1917-1998
Publicado: (2001)

To automate or not to automate /
por: Trebilcock, Bob

Reason, Rationality and Reasonableness Vietnamese Philosophical Studies I /
por: Tran, Van Doan
Publicado: (2001)

Correct reasoning : essays on logic-based AI in honor of Vladimir Lifschitz /
Publicado: (2012)

Reasoning
por: Scriven, Michael, et al.
Publicado: (1976)

Automation
por: Bluemle, Andrew
Publicado: (1963)

The road to reason /
por: Lecomte du Noûy, Pierre
Publicado: (1949)

The assault on reason
por: Gore, Al
Publicado: (2007)

Reasons for listening
por: Scarbrough, David
Publicado: (1990)

Reasonable doubt
por: Strange, John Stephen
Publicado: (1931)

The Age of reason /
por: Sartre, Jean Paul 1905-1980, et al.
Publicado: (1966)

The reason why
por: Woodham Smith, Cecil 1896-1977, et al.
Publicado: (1953)

The reasoning vision /
por: Sabavala, Jehangir, et al.
Publicado: (1980)

Reasons and persons /
por: Parfit, Derek 1942-, et al.
Publicado: (1984)

Realism and reason /
por: Putnam, Hilary 1927-, et al.
Publicado: (1983)