tag :: Mathematical | BibSonomy

bookmarks (hide)68
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

1A posteriori error estimates for mixed finite element discretizations of the Neutron Diffusion equations
http://hal.science/hal-03936904v2
a year ago by @attika
show all tags
discretizations
element
estimates
mathematical
discretizationselementestimatesmathematical
(0)
copydelete
- community post
- history of this post
1Dominic Hughes - Selected Papers
http://boole.stanford.edu/~dominic/papers/
8 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
cs353
logic
math
mathematical
more6
nets
pratt
proof
proofnet
theory
BookmarksBookmarks_Menucs353logicmathmathematicalmore6netsprattproofproofnettheory
(0)
copydelete
- community post
- history of this post
1Method of analytic tableaux - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Semantic_tableau
8 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
proof
theory
BookmarksBookmarks_Menumore6mathmathematicallogicprooftheory
(0)
copydelete
- community post
- history of this post
2consequently.org/edit: Proof Theory and Philosophy
http://consequently.org/edit/page/Proof_Theory_and_Philosophy
8 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
proof
theory
BookmarksBookmarks_Menumore6mathmathematicallogicprooftheory
(0)
copydelete
- community post
- history of this post
1Logical graph - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Logical_graph
8 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
BookmarksBookmarks_Menumore6mathmathematicallogic
(0)
copydelete
- community post
- history of this post
1Jaakko Hintikka - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Jaakko_Hintikka
8 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
logicians
BookmarksBookmarks_Menumore6mathmathematicallogiclogicians
(0)
copydelete
- community post
- history of this post
1Model theory - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Model_theory
8 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
model
theory
BookmarksBookmarks_Menumore6mathmathematicallogicmodeltheory
(0)
copydelete
- community post
- history of this post
1From Proof-Nets to Interaction Nets - Lafont (ResearchIndex)
http://citeseer.ist.psu.edu/lafont94from.html
8 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
proof
theory
nets
BookmarksBookmarks_Menumore6mathmathematicallogicprooftheorynets
(0)
copydelete
- community post
- history of this post
1Analytic proof - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Analytic_proof
8 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
proof
theory
BookmarksBookmarks_Menumore6mathmathematicallogicprooftheory
(0)
copydelete
- community post
- history of this post
1Arithmetical hierarchy - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Arithmetical_hierarchy
8 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
BookmarksBookmarks_Menumore6mathmathematicallogic
(0)
copydelete
- community post
- history of this post
1Classical logic - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Classical_logic
8 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
BookmarksBookmarks_Menumore6mathmathematicallogic
(0)
copydelete
- community post
- history of this post
1Cut-elimination theorem - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Cut-elimination
8 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
proof
theory
BookmarksBookmarks_Menumore6mathmathematicallogicprooftheory
(0)
copydelete
- community post
- history of this post
1Intuitionistic logic - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Intuitionistic_logic
8 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
BookmarksBookmarks_Menumore6mathmathematicallogic
(0)
copydelete
- community post
- history of this post
31ProofTheory.ORG
http://www.prooftheory.org/
8 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
proof
theory
BookmarksBookmarks_Menumore6mathmathematicallogicprooftheory
(0)
copydelete
- community post
- history of this post
1consequently.org/edit: Home
http://consequently.org/edit/page/Home
8 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
proof
theory
BookmarksBookmarks_Menumore6mathmathematicallogicprooftheory
(0)
copydelete
- community post
- history of this post
1Natural deduction - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Natural_deduction_calculus
8 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
proof
theory
BookmarksBookmarks_Menumore6mathmathematicallogicprooftheory
(0)
copydelete
- community post
- history of this post
1First-order logic - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Predicate_logic
8 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
BookmarksBookmarks_Menumore6mathmathematicallogic
(0)
copydelete
- community post
- history of this post
1Propositional calculus - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Propositional_logic
8 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
BookmarksBookmarks_Menumore6mathmathematicallogic
(0)
copydelete
- community post
- history of this post
1Relevance logic - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Relevance_logic
8 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
BookmarksBookmarks_Menumore6mathmathematicallogic
(0)
copydelete
- community post
- history of this post
1Sequent calculus - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Sequent_calculus
8 years ago by @bshanks
show all tags
Bookmarks
Bookmarks_Menu
more6
math
mathematical
logic
proof
theory
BookmarksBookmarks_Menumore6mathmathematicallogicprooftheory
(0)
copydelete
- community post
- history of this post

⟨⟨
⟨
1
2
3
⟩
⟩⟩

publications (hide)337
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1Application of non-commutative algebra to a soluble fermionic model
I. Charret, E. Silva, S. de Souza, O. Santos, M. Thomaz, and C. Carneiro. Physica A: Statistical and Theoretical Physics, 264 (1-2): 204--221 (Feb 15, 1999)
17 years ago by @smicha
show all tags
Mathematical
in
methods
physics
Mathematicalinmethodsphysics
(0)
copydeleteadd this publication to your clipboard
1Introduction to the CMOT Special Issue on Mathematical Representations and Models for the Analysis of Social Networks within and between Organization
A. Lomi, and P. Pattison. CMOT, (2004)
17 years ago by @bertil.hatt
show all tags
Analysis
Mathematical
Modeling
Nerwork
Social
and
AnalysisMathematicalModelingNerworkSocialand
(0)
copydeleteadd this publication to your clipboard
1Combinatorial codes in ventral temporal lobe for object recognition: Haxby (2001) revisited: is there a "face" area?
S. Hanson, T. Matsuka, and J. Haxby. Neuroimage, (2004)
17 years ago by @perceptron
show all tags
(Computer);
Adult;
Brain
Computer-Assisted;
Computing;
Consumption;
Discrimination
Gov't,
Gov't;
Gyrus;
Humans;
Image
Imaging;
Learning;
Lobe
Lobe;
Magnetic
Mapping;
Mathematical
Nerve
Net;
Networks
Neural
Non-P.H.S.;
Non-U.S.
Occipital
Orientation;
Oxygen
Parahippocampal
Pattern
Processing,
Recognition,
Reference
Research
Resonance
Support,
Temporal
U.S.
Values;
Visual;
(Computer);Adult;BrainComputer-Assisted;Computing;Consumption;DiscriminationGov't,Gov't;Gyrus;Humans;ImageImaging;Learning;LobeLobe;MagneticMapping;MathematicalNerveNet;NetworksNeuralNon-P.H.S.;Non-U.S.OccipitalOrientation;OxygenParahippocampalPatternProcessing,Recognition,ReferenceResearchResonanceSupport,TemporalU.S.Values;Visual;
(0)
copydeleteadd this publication to your clipboard
1Functional magnetic resonance imaging (fMRI) "brain reading": detecting and classifying distributed patterns of fMRI activity in human visual cortex.
D. Cox, and R. Savoy. Neuroimage, (2003)
17 years ago by @perceptron
show all tags
Adult;
Aged;
Analysis;
Blood
Brain
Computer-Assisted;
Computing;
Cortex
Discrimination
Female;
Flow;
Gov't;
Humans;
Image
Imaging;
Learning;
Magnetic
Male;
Mapping;
Mathematical
Middle
Multivariate
Non-U.S.
Pattern
Processing,
Recognition,
Regional
Research
Resonance
Sensitivity
Specificity;
Support,
Visual
Visual;
and
Adult;Aged;Analysis;BloodBrainComputer-Assisted;Computing;CortexDiscriminationFemale;Flow;Gov't;Humans;ImageImaging;Learning;MagneticMale;Mapping;MathematicalMiddleMultivariateNon-U.S.PatternProcessing,Recognition,RegionalResearchResonanceSensitivitySpecificity;Support,VisualVisual;and
(0)
copydeleteadd this publication to your clipboard
2A mathematical theory of citing
M. Simkin, and V. Roychowdury. Journal of the American Society for Information Science & Technology, 58 (11): 1661-1673 (September 2007)IL: 3 charts, 1 diagram, 2 graphs.
17 years ago by @suzyky
show all tags
&
(Probability
(Statistics);
CHARACTERISTIC
DISTRIBUTION
MANUSCRIPTS;
MATHEMATICAL
PROBABILITIES;
PUBLISHERS
SAMPLING
SCIENCE;
SCIENTISTS;
analysis;
analytic
bibliographic
citation
citations;
functions;
mathematical
models
models;
publishing;
statistics;
theory);
&(Probability(Statistics);CHARACTERISTICDISTRIBUTIONMANUSCRIPTS;MATHEMATICALPROBABILITIES;PUBLISHERSSAMPLINGSCIENCE;SCIENTISTS;analysis;analyticbibliographiccitationcitations;functions;mathematicalmodelsmodels;publishing;statistics;theory);
(0)
copydeleteadd this publication to your clipboard
1Knowledge building in mathematics: Supporting collaborative learning in pattern problems
J. Moss, and R. Beatty. Journal International Journal of Computer-Supported Collaborative Learning, 1 (4): 441-465 (2006)
17 years ago by @yish
show all tags
Collaborative
Early
Epistemic
Knowledge
Patterns
agency
algebra
discourse
forum
mathematical
sequences
CollaborativeEarlyEpistemicKnowledgePatternsagencyalgebradiscourseforummathematicalsequences
(0)
copydeleteadd this publication to your clipboard
1Vehicle propulsion systems : introduction to modeling and optimization
L. Guzzella, and A. Sciarretta. Springer, Berlin ; New York, (2005)Lino Guzzella, Antonio Sciarretta. ill. ; 25 cm..
17 years ago by @tboehme
show all tags
Automobiles
Mathematical
Motors
Propulsion
models.
systems
AutomobilesMathematicalMotorsPropulsionmodels.systems
(0)
copydeleteadd this publication to your clipboard
1Introduction to modeling and control of internal combustion engine systems
L. Guzzella, and C. Onder. Springer, Berlin ; New York, NY, (2004)Lino Guzzella, Christopher H. Onder. ill. ; 24 cm..
17 years ago by @tboehme
show all tags
Internal
Mathematical
combustion
engines
models.
InternalMathematicalcombustionenginesmodels.
(0)
copydeleteadd this publication to your clipboard
2Literature review on the use of games in mathematical learning, Part II: Deployment
E. Alexopoulou, U. Bennerstedt, M. Childs, V. Jonker, C. Kynigos, D. Pratt, and M. Wijers. (2006)
17 years ago by @yish
show all tags
collaboration
computers
constructionism
constructivism
deployment
design
games
learning
literature
mathematical
mathgamespatterns
maths
patterns
postdocapplication
programming
review
technology
collaborationcomputersconstructionismconstructivismdeploymentdesigngameslearningliteraturemathematicalmathgamespatternsmathspatternspostdocapplicationprogrammingreviewtechnology
(0)
copydeleteadd this publication to your clipboard
1Authoring Presentation for OpenMath
S. Manzoor, P. Libbrecht, C. Ullrich, and E. Melis. Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, volume 3863 of LNCS, page 33--48. Heidelberg, Springer, (2006)
17 years ago by @carstenullrich
show all tags
authoring,
content,
contexts
mathematical
notations,
presentation,
rendering,
authoring,content,contextsmathematicalnotations,presentation,rendering,
(0)
copydeleteadd this publication to your clipboard
1Misconceptions Reconceived: A Constructivist Analysis of Knowledge in Transition
I. Smith, A. diSessa, and J. Roschelle. Journal of the Learning Sciences, 3 (2): 115-163 (1993)
17 years ago by @rossyer
show all tags
KalDesignResearch
accepted
constructionism
constructivism
fractions
knowledge
learning
mathematical
misconceptions
pieces
pyshics
KalDesignResearchacceptedconstructionismconstructivismfractionsknowledgelearningmathematicalmisconceptionspiecespyshics
(0)
copydeleteadd this publication to your clipboard
1Software radio architecture: a mathematical perspective
J. Mitola. Selected Areas in Communications, IEEE Journal on, 17 (4): 514--538 (1999)
17 years ago by @a_olympia
show all tags
mathematical
radio
software
mathematicalradiosoftware
(0)
copydeleteadd this publication to your clipboard
1p-Adic TGD: Mathematical Ideas
M. Pitkänen. (June 1995)
17 years ago by @a_olympia
show all tags
ideas
mathematical
p-adic
ideasmathematicalp-adic
(0)
copydeleteadd this publication to your clipboard
2The Mathematical Universe
M. Tegmark. (April 2007)
17 years ago by @a_olympia
show all tags
mathematical
universe
mathematicaluniverse
(0)
copydeleteadd this publication to your clipboard
1The dynamics of the granuloma formation in the tuberculosis immune response
H. Silva, V. Bonato, C. Silva, and R. Santos. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)
18 years ago by @statphys23
show all tags
automata
cellular
diseases
dynamical
formation
infectious
mathematical
modeling
pattern
statphys23
systems
topic-10
automatacellulardiseasesdynamicalformationinfectiousmathematicalmodelingpatternstatphys23systemstopic-10
(0)
copydeleteadd this publication to your clipboard
1The gains and the pitfalls of reification — The case of algebra
A. Sfard, and L. Linchevski. Educational Studies in Mathematics, 26 (2): 191-228 (1994)
18 years ago by @yish
show all tags
algebra
learning
mathematical
mythesis
reification
sequences
algebralearningmathematicalmythesisreificationsequences
(0)
copydeleteadd this publication to your clipboard
1Developing and Evaluating Alternative Technological Infrastructures for Learning Mathematics
C. Hoyles, J. Lagrange, and R. Noss. New Mathematics Education Research and Practice, Sense Publishers, Rotterdam, (2006)
18 years ago by @yish
show all tags
WebLabs
citesme
constructionism
gmx
learning
mathematical
mythesis
technology
WebLabscitesmeconstructionismgmxlearningmathematicalmythesistechnology
(0)
copydeleteadd this publication to your clipboard
2The mathematical discourse of 13-year-old partnered problem solving and its relation to the mathematics that emerges
C. Kieran. Educational Studies in Mathematics, 46 (1): 187-228 (2001)
18 years ago by @yish
show all tags
communication
communicational
discourse
education
functions
graphs
interaction
learning
mathematical
mathematics
mythesis
problem
rational
solving
student
talk
communicationcommunicationaldiscourseeducationfunctionsgraphsinteractionlearningmathematicalmathematicsmythesisproblemrationalsolvingstudenttalk
(0)
copydeleteadd this publication to your clipboard
2Making Explicit the Analysis of Students' Mathematical Discourses - Revisiting a Newly Developed Methodological Framework
A. Ryve. Educational Studies in Mathematics, 62 (2): 191-209 (2006)
18 years ago by @yish
show all tags
analysis
approach
cognition
communicational
concept
contextualization
discourse
flowcharts
framework
intentional
interactive
learning
maps
mathematical
mathematics
methodological
mythesis
theoretical
analysisapproachcognitioncommunicationalconceptcontextualizationdiscourseflowchartsframeworkintentionalinteractivelearningmapsmathematicalmathematicsmethodologicalmythesistheoretical
(0)
copydeleteadd this publication to your clipboard
1Reconstruction of a Collaborative Mathematical Learning Process
M. Pijls, R. Dekker, and B. Hout-Wolters. Educational Studies in Mathematics, 65 (3): 309-329 (2007)
18 years ago by @yish
show all tags
collaborative
computer
learning
level
mathematical
model
probability
process
raising
simulation
collaborativecomputerlearninglevelmathematicalmodelprobabilityprocessraisingsimulation
(0)
copydeleteadd this publication to your clipboard
2On Reform Movement and the Limits of Mathematical Discourse
A. Sfard. Mathematical Thinking and Learning, 2 (3): 157-189 (2000)
18 years ago by @yish
show all tags
approach
cognition
communicational
discourse
learning
mathematical
mathematics
mythesis
narrative
approachcognitioncommunicationaldiscourselearningmathematicalmathematicsmythesisnarrative
(0)
copydeleteadd this publication to your clipboard
3Number and language: how are they related?
R. Gelman, and B. Butterworth. Trends in Cognitive Sciences, 9 (1): 6-10 (2005)
18 years ago by @yish
show all tags
antropology
cognitive
culture
developmental
embodied
fmri
imaging
language
learning
mathematical
mathematics
neuroscience
number
psychology
social
sociocognitive
sociocultural
thinking
antropologycognitiveculturedevelopmentalembodiedfmriimaginglanguagelearningmathematicalmathematicsneurosciencenumberpsychologysocialsociocognitivesocioculturalthinking
(0)
copydeleteadd this publication to your clipboard
1The development of arithmetical abilities
B. Butterworth. Journal of Child Psychology and Psychiatry, 46 (1): 3-18 (2005)
18 years ago by @yish
show all tags
arithmetic
child
cognition
cognitive
development
dyscalculia
embodied
infants
language
mathematical
mathematics
neuroscience
number
numerosity
thinking
arithmeticchildcognitioncognitivedevelopmentdyscalculiaembodiedinfantslanguagemathematicalmathematicsneurosciencenumbernumerositythinking
(0)
copydeleteadd this publication to your clipboard
1Wittgenstein on Mathematical Meaningfullness, Decidability, and Application.
V. Rodych. Notre Dame Journal of Formal Logic, 38 (2): 195-224 (1997)
18 years ago by @yish
show all tags
mathematical
philosophy
wittgenstein
mathematicalphilosophywittgenstein
(0)
copydeleteadd this publication to your clipboard
2Convergence of Sequences and Series 2: Interactions Between Nonvisual Reasoning and the Learner?s Beliefs about their own Role
L. Alcock, and A. Simpson. Educational Studies in Mathematics, (2005)
18 years ago by @yish
show all tags
advanced
analysis
beliefs
convergence
definitions
mathematical
need
proof
read
real
reasoning
representation
representations
sequences
series
symbolic
thinking
advancedanalysisbeliefsconvergencedefinitionsmathematicalneedproofreadrealreasoningrepresentationrepresentationssequencesseriessymbolicthinking
(0)
copydeleteadd this publication to your clipboard
1The ethnography of argumentation
G. Krummheuer. The emergence of mathematical meaning, Lawrence Erlbaum, Hillsdale, NJ, (1995)
18 years ago by @yish
show all tags
learning
mathematical
mathematics
argumentation
learningmathematicalmathematicsargumentation
(0)
copydeleteadd this publication to your clipboard
2Biological evolution of the Saussurean sign as a component of the language acquisition device
J. Hurford. Lingua, 77 (2): 187-222 (1989)
18 years ago by @vittorio.loreto
show all tags
RMP_CFL
mathematical
evolution
lad
1989
language
hurford
saussure
RMP_CFLmathematicalevolutionlad1989languagehurfordsaussure
(0)
copydeleteadd this publication to your clipboard
2Why AM and Eurisko Appear to Work.
D. Lenat, and J. Brown. AAAI, page 236-240. (1983)
18 years ago by @gromgull
show all tags
mathematical
discovery
am
lenat
mathematicaldiscoveryamlenat
(0)
copydeleteadd this publication to your clipboard
2ILP for Mathematical Discovery.
S. Colton, and S. Muggleton. ILP, page 93-111. (2003)
18 years ago by @gromgull
show all tags
mathematical
discovery
ilp
mathematicaldiscoveryilp
(0)
copydeleteadd this publication to your clipboard
1Convergence of sequences and series: Interactions between visual reasoning and the learner's beliefs about their own role
L. Alcock, and A. Simpson. Educational Studies in Mathematics, (2004)
18 years ago by @yish
show all tags
representation
mathematical
thinking
beliefs
definitions
theory
proof
analysis
need
convergence
visualization
sequences
advanced
representations
bibtex-import
real
grounded
read
representationmathematicalthinkingbeliefsdefinitionstheoryproofanalysisneedconvergencevisualizationsequencesadvancedrepresentationsbibtex-importrealgroundedread
(0)
copydeleteadd this publication to your clipboard
2CESAME: The Personal History of Learning Mathematics in the Classroom: An Analysis of Some Students Narratives
T. Assude, C. Sackur, and M. Maurel. Philosophy of Mathematics Education Journal, (1999)
19 years ago by @yish
show all tags
learning
mathematics
mathematical
IJCEELL
education
narrative
learningmathematicsmathematicalIJCEELLeducationnarrative
(0)
copydeleteadd this publication to your clipboard
1Advanced Mathematical Economics
R. Vohra. Routledge Advanced Texts in Economics and Finance Routledge, London and New York, (2005)
19 years ago by @gerhard
show all tags
Microeconomics
Economics
Mathematics
Mathematical
MicroeconomicsEconomicsMathematicsMathematical
(0)
copydeleteadd this publication to your clipboard
1Motivation and Ability as Factors in Mathematics Experience and Achievement
U. Schiefele, and M. Csikszentmihalyi. Journal for Research in Mathematics Education, (1995)
19 years ago by @yish
show all tags
learning
mathematical
attention
pleasure
engagement
flow
motivation
learningmathematicalattentionpleasureengagementflowmotivation
(0)
copydeleteadd this publication to your clipboard
1Is Argumentation an Obstacle? Invitation to a Debate.
N. Balacheff. Preuve: International Newsletter on the Teaching and Learning of Mathematical Proof, (1999)
19 years ago by @yish
show all tags
learning
argumentation
mathematical
solving
proof
gmx
persuasive
concepts
discourse
problem
role
teacher
learningargumentationmathematicalsolvingproofgmxpersuasiveconceptsdiscourseproblemroleteacher
(0)
copydeleteadd this publication to your clipboard
1An Epistemological and Didactic Study of a Specific Calculus Reasoning Rule
V. Durand-Guerrier, and G. Arsac. Educational Studies in Mathematics, 60 (2): 149--172 (October 2005)
19 years ago by @yish
show all tags
practice
mathematical
argumentation
didactic
statements
natural
ea
dependence
calculus
historical
reasoning
syntax
logic
rule
deduction
inquiry
predicate
ae
semantics
practicemathematicalargumentationdidacticstatementsnaturaleadependencecalculushistoricalreasoningsyntaxlogicruledeductioninquirypredicateaesemantics
(0)
copydeleteadd this publication to your clipboard
28Formal Concept Analysis: Mathematical Foundations
B. Ganter, and R. Wille. Springer, Berlin -- Heidelberg, (1999)
19 years ago by @hotho
show all tags
foundations
mathematical
formal
concept
analysis
foundationsmathematicalformalconceptanalysis
(1)
copydeleteadd this publication to your clipboard