నిధుల సేకరణ 15 సెప్టెంబర్ 2024 – 1 అక్టోబర్ 2024
నిధులసేకరణ గురించి
పుస్తకాల శోధన
పుస్తకాలు
నిధుల సేకరణ:
71.3% శాతం సేకరింపబడింది
సైన్ ఇన్ చేయండి
సైన్ ఇన్ చేయండి
మరిన్ని ఫీచర్లను యాక్సెస్ చేయడానికి
వ్యక్తిగత సిఫార్సులు
Telegram బాట్
డౌన్లోడ్ చరిత్ర
ఇమెయిల్ లేదా Kindle కు పంపండి
పుస్తకాల జాబితాలను నిర్వహించండి
ఇష్టమైన వాటికి సేవ్ చేయండి
వ్యక్తిగతమైన
పుస్తక అభ్యర్థనలు
అన్వేషించండి
Z-సిఫార్సు చేయండి
పుస్తక సేకరణలు
అత్యంత ప్రజాదరణమైనవి
వర్గాలు
సహకారం
మాకు మద్దతు ఇవ్వాలనుకుంటే
అప్లోడ్లు
Litera Library
కాగితపు పుస్తకాలను విరాళంగా ఇవ్వండి
కాగితపు పుస్తకాలను జోడించండి
Search paper books
నా LITERA Point
కీలక పదాల శోధన
Main
కీలక పదాల శోధన
search
1
OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Allan Bundy
Springer-Verlag Berlin Heidelberg
Michael Kohlhase (auth.)
omdoc
element
attribute
mathematical
content
xml:id
xml
presentation
cmp
openmath
documents
metadata
assertion
markup
omobj
definition
listing
module
axiom
attributes
inclusion
mathml
systems
theories
optional
symbols
theorem
fmp
oms
generated
first
specifies
semantic
specification
version
omtext
statements
context
allows
function
proofs
specify
figure
mathematics
formal
namespace
formulae
dtd
imports
morphism
సంవత్సరం:
2006
భాష:
english
ఫైల్:
PDF, 3.46 MB
మీ ట్యాగ్లు:
0
/
0
english, 2006
2
Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings
Springer-Verlag Berlin Heidelberg
Andrew A. Adams (auth.)
,
Andrea Asperti
,
Bruno Buchberger
,
James Harold Davenport (eds.)
mathematical
mathematics
xml
mizar
systems
mathml
documents
theorem
markup
first
proofs
library
different
content
mkm
definition
element
functions
query
defined
presentation
function
omdoc
examples
rdf
constructor
openmath
metadata
mml
apply
hierarchical
version
equation
latex
coq
notation
semantic
syntax
standard
theorems
definitions
ontology
resource
resources
tools
provers
sets
arcsin
constructors
abstract
సంవత్సరం:
2003
భాష:
english
ఫైల్:
PDF, 2.91 MB
మీ ట్యాగ్లు:
0
/
0
english, 2003
3
Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings
Springer-Verlag Berlin Heidelberg
Andrew A. Adams (auth.)
,
Andrea Asperti
,
Bruno Buchberger
,
James Harold Davenport (eds.)
mathematical
mathematics
xml
mizar
systems
mathml
documents
theorem
markup
library
proofs
first
content
mkm
different
element
query
definition
functions
constructor
presentation
function
omdoc
examples
defined
rdf
mml
openmath
metadata
resource
apply
notation
version
hierarchical
equation
latex
coq
syntax
theorems
semantic
constructors
standard
resources
ontology
tools
provers
sets
abstract
arcsin
formal
సంవత్సరం:
2003
భాష:
english
ఫైల్:
PDF, 2.54 MB
మీ ట్యాగ్లు:
0
/
0
english, 2003
4
Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings
Springer-Verlag Berlin Heidelberg
Andrew A. Adams (auth.)
,
Andrea Asperti
,
Bruno Buchberger
,
James Harold Davenport (eds.)
mathematical
mathematics
xml
mizar
systems
mathml
documents
theorem
markup
library
proofs
first
content
mkm
different
element
query
definition
functions
constructor
presentation
function
omdoc
examples
defined
rdf
mml
openmath
metadata
resource
apply
notation
version
hierarchical
equation
latex
coq
syntax
theorems
semantic
constructors
standard
resources
ontology
tools
provers
sets
abstract
arcsin
formal
సంవత్సరం:
2003
భాష:
english
ఫైల్:
PDF, 2.02 MB
మీ ట్యాగ్లు:
0
/
0
english, 2003
1
ఈ లింక్
ని అనుసరించండి లేదా టెలిగ్రామ్లో "@BotFather" బాట్ను కనుగొనండి
2
/ newbot ఆదేశాన్ని పంపండి
3
మీ చాట్బాట్ కోసం పేరును పేర్కొనండి
4
బాట్ కోసం వినియోగదారు పేరును ఎంచుకోండి
5
BotFather నుండి పూర్తి చివరి సందేశాన్ని కాపీ చేసి ఇక్కడ అతికించండి
×
×