Deduction, computation, experiment exploring the effectiveness of proof /
Đã lưu trong:
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | , |
| Định dạng: | Điện tử eBook |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Berlin ; New York :
Springer,
c2008.
|
| Những chủ đề: | |
| Truy cập trực tuyến: | An electronic book accessible through the World Wide Web; click to view |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Những quyển sách tương tự
The book of evidence
Bằng: Achinstein, Peter
Được phát hành: (2001)
Bằng: Achinstein, Peter
Được phát hành: (2001)
Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
Bằng: Lupacchini, Rossella
Được phát hành: (2008)
Bằng: Lupacchini, Rossella
Được phát hành: (2008)
The functional interpretation of logical deduction
Bằng: Queiroz, Ruy J. G. B. de
Được phát hành: (2012)
Bằng: Queiroz, Ruy J. G. B. de
Được phát hành: (2012)
The shaping of deduction in Greek mathematics a study in cognitive history /
Bằng: Netz, Reviel
Được phát hành: (1999)
Bằng: Netz, Reviel
Được phát hành: (1999)
Clinical judgement in the health and welfare professions extending the evidence base /
Bằng: White, Susan, 1961-
Được phát hành: (2003)
Bằng: White, Susan, 1961-
Được phát hành: (2003)
Inference from signs ancient debates about the nature of evidence /
Bằng: Allen, James V.
Được phát hành: (2008)
Bằng: Allen, James V.
Được phát hành: (2008)
Statistics workbook for evidence-based health care
Bằng: Peat, Jennifer K.
Được phát hành: (2008)
Bằng: Peat, Jennifer K.
Được phát hành: (2008)
Proof, Computation and Agency Logic at the Crossroads /
Bằng: van Benthem, Johan
Được phát hành: (2011)
Bằng: van Benthem, Johan
Được phát hành: (2011)
Advances in Proof-Theoretic Semantics
Được phát hành: (2016)
Được phát hành: (2016)
Evidence-based medicine in Sherlock Holmes' footsteps
Bằng: Nordenström, Jörgen
Được phát hành: (2007)
Bằng: Nordenström, Jörgen
Được phát hành: (2007)
Symbolic logic syntax, semantics, and proof /
Bằng: Agler, David W., 1982-
Được phát hành: (2013)
Bằng: Agler, David W., 1982-
Được phát hành: (2013)
Concepts of proof in mathematics, philosophy, and computer science /
Được phát hành: (2016)
Được phát hành: (2016)
Computer technology : digital priniciples to interfacing /
Bằng: Lawrence, O.R
Được phát hành: (1990)
Bằng: Lawrence, O.R
Được phát hành: (1990)
The internationalisation of criminal evidence beyond the common law and civil law traditions /
Bằng: Jackson, John D., 1955-
Được phát hành: (2012)
Bằng: Jackson, John D., 1955-
Được phát hành: (2012)
The power of deduction : failure modes and effects analysis for design /
Bằng: Anleitner, Michael A.
Được phát hành: (2010)
Bằng: Anleitner, Michael A.
Được phát hành: (2010)
Proof, logic, and formalization
Được phát hành: (1992)
Được phát hành: (1992)
Proof and knowledge in mathematics
Được phát hành: (1992)
Được phát hành: (1992)
Arithmetic and logic in computer systems
Bằng: Lu, Mi
Được phát hành: (2004)
Bằng: Lu, Mi
Được phát hành: (2004)
The law and practice of evidence in Kenya /
Bằng: Mbobu, Kyalo
Được phát hành: (2011)
Bằng: Mbobu, Kyalo
Được phát hành: (2011)
Exploring topics in the history and philosophy of logic /
Bằng: Englebretsen, George
Được phát hành: (2015)
Bằng: Englebretsen, George
Được phát hành: (2015)
Forensic evidence in court : evaluation and scientific opinion /
Bằng: Adam, Craig
Được phát hành: (2016)
Bằng: Adam, Craig
Được phát hành: (2016)
The modern law of evidence /
Bằng: Keane, Adrian
Được phát hành: (2016)
Bằng: Keane, Adrian
Được phát hành: (2016)
Tracking reason proof, consequence, and truth /
Bằng: Azzouni, Jody
Được phát hành: (2006)
Bằng: Azzouni, Jody
Được phát hành: (2006)
Kant's B. Deduction /
Bằng: Caimi, Mario
Được phát hành: (2014)
Bằng: Caimi, Mario
Được phát hành: (2014)
Logic, form, and grammar
Bằng: Long, Peter, 1926-
Được phát hành: (2001)
Bằng: Long, Peter, 1926-
Được phát hành: (2001)
With good reason : an introduction to informal fallacies /
Bằng: Engel, Morris S.
Được phát hành: (1990)
Bằng: Engel, Morris S.
Được phát hành: (1990)
Logic and language
Bằng: Dean, Neville
Được phát hành: (2003)
Bằng: Dean, Neville
Được phát hành: (2003)
Informal fallacies towards a theory of argument criticisms /
Bằng: Walton, Douglas N.
Được phát hành: (1987)
Bằng: Walton, Douglas N.
Được phát hành: (1987)
Logical properties identity, existence, predication, necessity, truth /
Bằng: McGinn, Colin, 1950-
Được phát hành: (2000)
Bằng: McGinn, Colin, 1950-
Được phát hành: (2000)
Inferences with ignorance : logics of questions : inferential erotetic logic & erotetic epistemic logic.
Bằng: Peli�s, Michal
Được phát hành: (2016)
Bằng: Peli�s, Michal
Được phát hành: (2016)
Digital design and computer architecture
Bằng: Harris, David Money
Được phát hành: (2007)
Bằng: Harris, David Money
Được phát hành: (2007)
Logic, language, and method - on polarities in human experience philosophical papers /
Bằng: Lorenz, Kuno, 1932-
Được phát hành: (2010)
Bằng: Lorenz, Kuno, 1932-
Được phát hành: (2010)
Essays on non-classical logic
Được phát hành: (2001)
Được phát hành: (2001)
Proof, evidentiary assessment and credibility in asylum procedures
Được phát hành: (2005)
Được phát hành: (2005)
Computer crime law /
Bằng: Kerr, Orin S.
Được phát hành: (2013)
Bằng: Kerr, Orin S.
Được phát hành: (2013)
Foundations of computing : system development with set theory and logic /
Bằng: Scheurer, Thierry
Được phát hành: (1994)
Bằng: Scheurer, Thierry
Được phát hành: (1994)
Computer crimes and digital investigations /
Bằng: Walden, Ian
Được phát hành: (2016)
Bằng: Walden, Ian
Được phát hành: (2016)
Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
Bằng: Kupperman, Joel
Được phát hành: (1966)
Bằng: Kupperman, Joel
Được phát hành: (1966)
Intermediate logic
Bằng: Bostock, David
Được phát hành: (1997)
Bằng: Bostock, David
Được phát hành: (1997)
Truth, etc six lectures on ancient logic /
Bằng: Barnes, Jonathan, 1942-
Được phát hành: (2007)
Bằng: Barnes, Jonathan, 1942-
Được phát hành: (2007)