Journal of formalized reasoning.
Saved in:
Publication history: | Began with: Vol 1, no 1 (2008). |
---|---|
Language: | English |
Notes: | Refereed/Peer-reviewed |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Formalized recursive functionals and formalized realizability / / by S.C. Kleene.
by: Kleene, Stephen Cole,
Published: (1969.) -
Logical reasoning with diagrams / edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.].
Published: (1996.) -
Mathematics and Plausible Reasoning, Volume 1 : : Induction and Analogy in Mathematics / / G. Polya.
by: Polya, G.,
Published: ([2021]) -
Mathematics and Plausible Reasoning, Volume 2 : : Logic, Symbolic and mathematical / / G. Polya.
by: Polya, G.,
Published: ([2021]) -
Journal of algorithms & computational technology.
Published: ([2007]-)