Deduction, computation, experiment exploring the effectiveness of proof /
Bewaard in:
| Coauteur: | |
|---|---|
| Andere auteurs: | , |
| Formaat: | Elektronisch E-boek |
| Taal: | Engels |
| Gepubliceerd in: |
Berlin ; New York :
Springer,
c2008.
|
| Onderwerpen: | |
| Online toegang: | An electronic book accessible through the World Wide Web; click to view |
| Tags: |
Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
|
Gelijkaardige items
The book of evidence
door: Achinstein, Peter
Gepubliceerd in: (2001)
door: Achinstein, Peter
Gepubliceerd in: (2001)
Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
door: Lupacchini, Rossella
Gepubliceerd in: (2008)
door: Lupacchini, Rossella
Gepubliceerd in: (2008)
The functional interpretation of logical deduction
door: Queiroz, Ruy J. G. B. de
Gepubliceerd in: (2012)
door: Queiroz, Ruy J. G. B. de
Gepubliceerd in: (2012)
The shaping of deduction in Greek mathematics a study in cognitive history /
door: Netz, Reviel
Gepubliceerd in: (1999)
door: Netz, Reviel
Gepubliceerd in: (1999)
Clinical judgement in the health and welfare professions extending the evidence base /
door: White, Susan, 1961-
Gepubliceerd in: (2003)
door: White, Susan, 1961-
Gepubliceerd in: (2003)
Inference from signs ancient debates about the nature of evidence /
door: Allen, James V.
Gepubliceerd in: (2008)
door: Allen, James V.
Gepubliceerd in: (2008)
Statistics workbook for evidence-based health care
door: Peat, Jennifer K.
Gepubliceerd in: (2008)
door: Peat, Jennifer K.
Gepubliceerd in: (2008)
Proof, Computation and Agency Logic at the Crossroads /
door: van Benthem, Johan
Gepubliceerd in: (2011)
door: van Benthem, Johan
Gepubliceerd in: (2011)
Advances in Proof-Theoretic Semantics
Gepubliceerd in: (2016)
Gepubliceerd in: (2016)
Evidence-based medicine in Sherlock Holmes' footsteps
door: Nordenström, Jörgen
Gepubliceerd in: (2007)
door: Nordenström, Jörgen
Gepubliceerd in: (2007)
Symbolic logic syntax, semantics, and proof /
door: Agler, David W., 1982-
Gepubliceerd in: (2013)
door: Agler, David W., 1982-
Gepubliceerd in: (2013)
Concepts of proof in mathematics, philosophy, and computer science /
Gepubliceerd in: (2016)
Gepubliceerd in: (2016)
Computer technology : digital priniciples to interfacing /
door: Lawrence, O.R
Gepubliceerd in: (1990)
door: Lawrence, O.R
Gepubliceerd in: (1990)
The internationalisation of criminal evidence beyond the common law and civil law traditions /
door: Jackson, John D., 1955-
Gepubliceerd in: (2012)
door: Jackson, John D., 1955-
Gepubliceerd in: (2012)
Proof, logic, and formalization
Gepubliceerd in: (1992)
Gepubliceerd in: (1992)
Proof and knowledge in mathematics
Gepubliceerd in: (1992)
Gepubliceerd in: (1992)
Arithmetic and logic in computer systems
door: Lu, Mi
Gepubliceerd in: (2004)
door: Lu, Mi
Gepubliceerd in: (2004)
The power of deduction : failure modes and effects analysis for design /
door: Anleitner, Michael A.
Gepubliceerd in: (2010)
door: Anleitner, Michael A.
Gepubliceerd in: (2010)
Exploring topics in the history and philosophy of logic /
door: Englebretsen, George
Gepubliceerd in: (2015)
door: Englebretsen, George
Gepubliceerd in: (2015)
The law and practice of evidence in Kenya /
door: Mbobu, Kyalo
Gepubliceerd in: (2011)
door: Mbobu, Kyalo
Gepubliceerd in: (2011)
Forensic evidence in court : evaluation and scientific opinion /
door: Adam, Craig
Gepubliceerd in: (2016)
door: Adam, Craig
Gepubliceerd in: (2016)
Tracking reason proof, consequence, and truth /
door: Azzouni, Jody
Gepubliceerd in: (2006)
door: Azzouni, Jody
Gepubliceerd in: (2006)
The modern law of evidence /
door: Keane, Adrian
Gepubliceerd in: (2016)
door: Keane, Adrian
Gepubliceerd in: (2016)
Kant's B. Deduction /
door: Caimi, Mario
Gepubliceerd in: (2014)
door: Caimi, Mario
Gepubliceerd in: (2014)
Logic and language
door: Dean, Neville
Gepubliceerd in: (2003)
door: Dean, Neville
Gepubliceerd in: (2003)
With good reason : an introduction to informal fallacies /
door: Engel, Morris S.
Gepubliceerd in: (1990)
door: Engel, Morris S.
Gepubliceerd in: (1990)
Logic, form, and grammar
door: Long, Peter, 1926-
Gepubliceerd in: (2001)
door: Long, Peter, 1926-
Gepubliceerd in: (2001)
Informal fallacies towards a theory of argument criticisms /
door: Walton, Douglas N.
Gepubliceerd in: (1987)
door: Walton, Douglas N.
Gepubliceerd in: (1987)
Logical properties identity, existence, predication, necessity, truth /
door: McGinn, Colin, 1950-
Gepubliceerd in: (2000)
door: McGinn, Colin, 1950-
Gepubliceerd in: (2000)
Inferences with ignorance : logics of questions : inferential erotetic logic & erotetic epistemic logic.
door: Peli�s, Michal
Gepubliceerd in: (2016)
door: Peli�s, Michal
Gepubliceerd in: (2016)
Digital design and computer architecture
door: Harris, David Money
Gepubliceerd in: (2007)
door: Harris, David Money
Gepubliceerd in: (2007)
Logic, language, and method - on polarities in human experience philosophical papers /
door: Lorenz, Kuno, 1932-
Gepubliceerd in: (2010)
door: Lorenz, Kuno, 1932-
Gepubliceerd in: (2010)
Essays on non-classical logic
Gepubliceerd in: (2001)
Gepubliceerd in: (2001)
Proof, evidentiary assessment and credibility in asylum procedures
Gepubliceerd in: (2005)
Gepubliceerd in: (2005)
Computer crime law /
door: Kerr, Orin S.
Gepubliceerd in: (2013)
door: Kerr, Orin S.
Gepubliceerd in: (2013)
Foundations of computing : system development with set theory and logic /
door: Scheurer, Thierry
Gepubliceerd in: (1994)
door: Scheurer, Thierry
Gepubliceerd in: (1994)
Computer crimes and digital investigations /
door: Walden, Ian
Gepubliceerd in: (2016)
door: Walden, Ian
Gepubliceerd in: (2016)
Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
door: Kupperman, Joel
Gepubliceerd in: (1966)
door: Kupperman, Joel
Gepubliceerd in: (1966)
Truth, etc six lectures on ancient logic /
door: Barnes, Jonathan, 1942-
Gepubliceerd in: (2007)
door: Barnes, Jonathan, 1942-
Gepubliceerd in: (2007)
Intermediate logic
door: Bostock, David
Gepubliceerd in: (1997)
door: Bostock, David
Gepubliceerd in: (1997)