表紙画像

QRコード

Deduction, computation, experiment exploring the effectiveness of proof /

他のバージョン（1件）を表示する

保存先:

書誌詳細
団体著者:	ebrary, Inc
その他の著者:	Corsi, Giovanna, Lupacchini, Rossella
フォーマット:	電子媒体 eBook
言語:	英語
出版事項:	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)

The power of deduction : failure modes and effects analysis for design /
著者:: Anleitner, Michael A.
出版事項: (2010)

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)

Exploring topics in the history and philosophy of logic /
著者:: Englebretsen, George
出版事項: (2015)

The law and practice of evidence in Kenya /
著者:: Mbobu, Kyalo
出版事項: (2011)

Kant's B. Deduction /
著者:: Caimi, Mario
出版事項: (2014)

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)

Informal fallacies towards a theory of argument criticisms /
著者:: Walton, Douglas N.
出版事項: (1987)

With good reason : an introduction to informal fallacies /
著者:: Engel, Morris S.
出版事項: (1990)

Logic, form, and grammar
著者:: Long, Peter, 1926-
出版事項: (2001)

Logic and language
著者:: Dean, Neville
出版事項: (2003)

Logical properties identity, existence, predication, necessity, truth /
著者:: McGinn, Colin, 1950-
出版事項: (2000)

Inferences with ignorance : logics of questions : inferential erotetic logic & erotetic epistemic logic.
著者:: Peli�s, Michal
出版事項: (2016)

Logic, language, and method - on polarities in human experience philosophical papers /
著者:: Lorenz, Kuno, 1932-
出版事項: (2010)

Digital design and computer architecture
著者:: Harris, David Money
出版事項: (2007)

Essays on non-classical logic
出版事項: (2001)

Proof, evidentiary assessment and credibility in asylum procedures
出版事項: (2005)

Computer crime law /
著者:: Kerr, Orin S.
出版事項: (2013)

Foundations of computing : system development with set theory and logic /
著者:: Scheurer, Thierry
出版事項: (1994)

Computer crimes and digital investigations /
著者:: Walden, Ian
出版事項: (2016)

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)

Intermediate logic
著者:: Bostock, David
出版事項: (1997)