Deduction, computation, experiment exploring the effectiveness of proof /
Сохранить в:
| Соавтор: | |
|---|---|
| Другие авторы: | , |
| Формат: | Электронный ресурс eКнига |
| Язык: | английский |
| Опубликовано: |
Berlin ; New York :
Springer,
c2008.
|
| Предметы: | |
| Online-ссылка: | An electronic book accessible through the World Wide Web; click to view |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Схожие документы
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)