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