Deduction, computation, experiment exploring the effectiveness of proof /
-д хадгалсан:
| Байгууллагын зохиогч: | |
|---|---|
| Бусад зохиолчид: | , |
| Формат: | Цахим Цахим ном |
| Хэл сонгох: | англи |
| Хэвлэсэн: |
Berlin ; New York :
Springer,
c2008.
|
| Нөхцлүүд: | |
| Онлайн хандалт: | 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)
Computer technology : digital priniciples to interfacing /
-н: Lawrence, O.R
Хэвлэсэн: (1990)
-н: Lawrence, O.R
Хэвлэсэн: (1990)
The power of deduction : failure modes and effects analysis for design /
-н: Anleitner, Michael A.
Хэвлэсэн: (2010)
-н: Anleitner, Michael A.
Хэвлэсэн: (2010)
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)
The law and practice of evidence in Kenya /
-н: Mbobu, Kyalo
Хэвлэсэн: (2011)
-н: Mbobu, Kyalo
Хэвлэсэн: (2011)
Exploring topics in the history and philosophy of logic /
-н: Englebretsen, George
Хэвлэсэн: (2015)
-н: Englebretsen, George
Хэвлэсэн: (2015)
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)
With good reason : an introduction to informal fallacies /
-н: Engel, Morris S.
Хэвлэсэн: (1990)
-н: Engel, Morris S.
Хэвлэсэн: (1990)
Informal fallacies towards a theory of argument criticisms /
-н: Walton, Douglas N.
Хэвлэсэн: (1987)
-н: Walton, Douglas N.
Хэвлэсэн: (1987)
Logic and language
-н: Dean, Neville
Хэвлэсэн: (2003)
-н: Dean, Neville
Хэвлэсэн: (2003)
Logical properties identity, existence, predication, necessity, truth /
-н: McGinn, Colin, 1950-
Хэвлэсэн: (2000)
-н: McGinn, Colin, 1950-
Хэвлэсэн: (2000)
Logic, form, and grammar
-н: Long, Peter, 1926-
Хэвлэсэн: (2001)
-н: Long, Peter, 1926-
Хэвлэсэн: (2001)
Inferences with ignorance : logics of questions : inferential erotetic logic & erotetic epistemic logic.
-н: Peli�s, Michal
Хэвлэсэн: (2016)
-н: Peli�s, Michal
Хэвлэсэн: (2016)
Digital design and computer architecture
-н: Harris, David Money
Хэвлэсэн: (2007)
-н: Harris, David Money
Хэвлэсэн: (2007)
Logic, language, and method - on polarities in human experience philosophical papers /
-н: Lorenz, Kuno, 1932-
Хэвлэсэн: (2010)
-н: Lorenz, Kuno, 1932-
Хэвлэсэн: (2010)
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)
Computer crimes and digital investigations /
-н: Walden, Ian
Хэвлэсэн: (2016)
-н: Walden, Ian
Хэвлэсэн: (2016)
Foundations of computing : system development with set theory and logic /
-н: Scheurer, Thierry
Хэвлэсэн: (1994)
-н: Scheurer, Thierry
Хэвлэсэн: (1994)
Computer incident response and forensics team management : conducting a successful incident response /
-н: Johnson, Leighton
Хэвлэсэн: (2014)
-н: Johnson, Leighton
Хэвлэсэн: (2014)
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)