Зображення обкладинки

QR код

Deduction, computation, experiment exploring the effectiveness of proof /

Показати інші версії (1)

Збережено в:

Бібліографічні деталі
Співавтор:	ebrary, Inc
Інші автори:	Corsi, Giovanna, Lupacchini, Rossella
Формат:	Електронний ресурс eКнига
Мова:	Англійська
Опубліковано:	Berlin ; New York : Springer, c2008.
Предмети:	Evidence. Logic. Electronic books.
Онлайн доступ:	An electronic book accessible through the World Wide Web; click to view
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Схожі ресурси

The book of evidence
за авторством: Achinstein, Peter
Опубліковано: (2001)

Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
за авторством: Lupacchini, Rossella
Опубліковано: (2008)

The functional interpretation of logical deduction
за авторством: Queiroz, Ruy J. G. B. de
Опубліковано: (2012)

The shaping of deduction in Greek mathematics a study in cognitive history /
за авторством: Netz, Reviel
Опубліковано: (1999)

Clinical judgement in the health and welfare professions extending the evidence base /
за авторством: White, Susan, 1961-
Опубліковано: (2003)

Inference from signs ancient debates about the nature of evidence /
за авторством: Allen, James V.
Опубліковано: (2008)

Statistics workbook for evidence-based health care
за авторством: Peat, Jennifer K.
Опубліковано: (2008)

Proof, Computation and Agency Logic at the Crossroads /
за авторством: van Benthem, Johan
Опубліковано: (2011)

Advances in Proof-Theoretic Semantics
Опубліковано: (2016)

Evidence-based medicine in Sherlock Holmes' footsteps
за авторством: Nordenström, Jörgen
Опубліковано: (2007)

Symbolic logic syntax, semantics, and proof /
за авторством: Agler, David W., 1982-
Опубліковано: (2013)

Concepts of proof in mathematics, philosophy, and computer science /
Опубліковано: (2016)

Computer technology : digital priniciples to interfacing /
за авторством: Lawrence, O.R
Опубліковано: (1990)

The internationalisation of criminal evidence beyond the common law and civil law traditions /
за авторством: Jackson, John D., 1955-
Опубліковано: (2012)

Proof, logic, and formalization
Опубліковано: (1992)

Proof and knowledge in mathematics
Опубліковано: (1992)

Arithmetic and logic in computer systems
за авторством: Lu, Mi
Опубліковано: (2004)

The power of deduction : failure modes and effects analysis for design /
за авторством: Anleitner, Michael A.
Опубліковано: (2010)

The law and practice of evidence in Kenya /
за авторством: Mbobu, Kyalo
Опубліковано: (2011)

Exploring topics in the history and philosophy of logic /
за авторством: Englebretsen, George
Опубліковано: (2015)

Forensic evidence in court : evaluation and scientific opinion /
за авторством: Adam, Craig
Опубліковано: (2016)

The modern law of evidence /
за авторством: Keane, Adrian
Опубліковано: (2016)

Tracking reason proof, consequence, and truth /
за авторством: Azzouni, Jody
Опубліковано: (2006)

Kant's B. Deduction /
за авторством: Caimi, Mario
Опубліковано: (2014)

With good reason : an introduction to informal fallacies /
за авторством: Engel, Morris S.
Опубліковано: (1990)

Logical properties identity, existence, predication, necessity, truth /
за авторством: McGinn, Colin, 1950-
Опубліковано: (2000)

Logic and language
за авторством: Dean, Neville
Опубліковано: (2003)

Informal fallacies towards a theory of argument criticisms /
за авторством: Walton, Douglas N.
Опубліковано: (1987)

Logic, form, and grammar
за авторством: Long, Peter, 1926-
Опубліковано: (2001)

Inferences with ignorance : logics of questions : inferential erotetic logic & erotetic epistemic logic.
за авторством: Peli�s, Michal
Опубліковано: (2016)

Digital design and computer architecture
за авторством: Harris, David Money
Опубліковано: (2007)

Logic, language, and method - on polarities in human experience philosophical papers /
за авторством: Lorenz, Kuno, 1932-
Опубліковано: (2010)

Essays on non-classical logic
Опубліковано: (2001)

Proof, evidentiary assessment and credibility in asylum procedures
Опубліковано: (2005)

Computer crime law /
за авторством: Kerr, Orin S.
Опубліковано: (2013)

Computer crimes and digital investigations /
за авторством: Walden, Ian
Опубліковано: (2016)

Foundations of computing : system development with set theory and logic /
за авторством: Scheurer, Thierry
Опубліковано: (1994)

Computer incident response and forensics team management : conducting a successful incident response /
за авторством: Johnson, Leighton
Опубліковано: (2014)

Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
за авторством: Kupperman, Joel
Опубліковано: (1966)

Truth, etc six lectures on ancient logic /
за авторством: Barnes, Jonathan, 1942-
Опубліковано: (2007)