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 internationalisation of criminal evidence beyond the common law and civil law traditions /
מאת: Jackson, John D., 1955-
יצא לאור: (2012)
מאת: Jackson, John D., 1955-
יצא לאור: (2012)
The power of deduction : failure modes and effects analysis for design /
מאת: Anleitner, Michael A.
יצא לאור: (2010)
מאת: Anleitner, Michael A.
יצא לאור: (2010)
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)
Exploring topics in the history and philosophy of logic /
מאת: Englebretsen, George
יצא לאור: (2015)
מאת: Englebretsen, George
יצא לאור: (2015)
The law and practice of evidence in Kenya /
מאת: Mbobu, Kyalo
יצא לאור: (2011)
מאת: Mbobu, Kyalo
יצא לאור: (2011)
Forensic evidence in court : evaluation and scientific opinion /
מאת: Adam, Craig
יצא לאור: (2016)
מאת: Adam, Craig
יצא לאור: (2016)
Kant's B. Deduction /
מאת: Caimi, Mario
יצא לאור: (2014)
מאת: Caimi, Mario
יצא לאור: (2014)
Tracking reason proof, consequence, and truth /
מאת: Azzouni, Jody
יצא לאור: (2006)
מאת: Azzouni, Jody
יצא לאור: (2006)
The modern law of evidence /
מאת: Keane, Adrian
יצא לאור: (2016)
מאת: Keane, Adrian
יצא לאור: (2016)
Logic, form, and grammar
מאת: Long, Peter, 1926-
יצא לאור: (2001)
מאת: Long, Peter, 1926-
יצא לאור: (2001)
Logical properties identity, existence, predication, necessity, truth /
מאת: McGinn, Colin, 1950-
יצא לאור: (2000)
מאת: McGinn, Colin, 1950-
יצא לאור: (2000)
With good reason : an introduction to informal fallacies /
מאת: Engel, Morris S.
יצא לאור: (1990)
מאת: Engel, Morris S.
יצא לאור: (1990)
Logic and language
מאת: Dean, Neville
יצא לאור: (2003)
מאת: Dean, Neville
יצא לאור: (2003)
Informal fallacies towards a theory of argument criticisms /
מאת: Walton, Douglas N.
יצא לאור: (1987)
מאת: Walton, Douglas N.
יצא לאור: (1987)
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)
Foundations of computing : system development with set theory and logic /
מאת: Scheurer, Thierry
יצא לאור: (1994)
מאת: Scheurer, Thierry
יצא לאור: (1994)
Computer crime law /
מאת: Kerr, Orin S.
יצא לאור: (2013)
מאת: Kerr, Orin S.
יצא לאור: (2013)
Computer crimes and digital investigations /
מאת: Walden, Ian
יצא לאור: (2016)
מאת: Walden, Ian
יצא לאור: (2016)
Truth, etc six lectures on ancient logic /
מאת: Barnes, Jonathan, 1942-
יצא לאור: (2007)
מאת: Barnes, Jonathan, 1942-
יצא לאור: (2007)
Intermediate logic
מאת: Bostock, David
יצא לאור: (1997)
מאת: Bostock, David
יצא לאור: (1997)
Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
מאת: Kupperman, Joel
יצא לאור: (1966)
מאת: Kupperman, Joel
יצא לאור: (1966)