Results 341 to 350 of about 3,412,246 (356)
Some of the next articles are maybe not open access.
Wittgenstein on Mathematical Proof
2004Il saggio intende proporre una presentazione della concezione wittgensteiniana del ruolo e dello statuto delle dimostrazioni matematiche, chiarendo la relazione tra senso di un enunciato matematico e dimostrazione.
openaire +1 more source
Sexual abuse. A Journal of Research and Treatment, 2008
T. Donaldson, R. Wollert
semanticscholar +1 more source
T. Donaldson, R. Wollert
semanticscholar +1 more source
Verefication of Mathematical Proofs
2007In this thesis we deal with the problem of automatic proving (or disproving) mathematical conjectures using computer programs (usually called automated theorem provers). We address several issues that are important for a successful utilization of such programs. In Chapter 3 we examine how to store and reuse important pieces of mathematical knowledge in
openaire +2 more sources

