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