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