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