Amanote Research

Amanote Research

    RegisterSign In

Diversity in Proof Appraisal

Trends in the History of Science - Switzerland
doi 10.1007/978-3-319-28582-5_10
Full Text
Open PDF
Abstract

Available in full text

Categories
Applied MathematicsPhilosophy of SciencePhysicsAstronomyHistory
Date

January 1, 2016

Authors
Matthew InglisAndrew Aberdein
Publisher

Springer International Publishing


Related search

A Novel Proof of Concept for Capturing the Diversity of Endophytic Fungi Preserved in Herbarium Specimens

Philosophical Transactions of the Royal Society B: Biological Sciences
BiochemistryAgriculturalGeneticsMolecular BiologyBiological Sciences
2018English

Automatic Learning of Proof Methods in Proof Planning

Logic Journal of the IGPL
Philosophy
2003English

Informal Proof, Formal Proof, Formalism

Review of Symbolic Logic
MathematicsPhilosophyLogic
2015English

Teacher Appraisal

Effective Teacher Policies
2018English

Teacher Appraisal

OECD Reviews of Evaluation and Assessment in Education: Slovak Republic 2014
2014English

Teacher Appraisal

OECD Reviews of Evaluation and Assessment in Education: Czech Republic 2012
2012English

Corrigendum to “Snapshot on a Pilot Metagenomic Study for the Appraisal of Gut Microbial Diversity in Mice, Cat, and Man”

Gastroenterology Research and Practice
HepatologyGastroenterology
2016English

Diagonalization in Proof Complexity

Fundamenta Mathematicae
Number TheoryAlgebra
2004English

Proof-Carrying Code With Untrusted Proof Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy