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