Sumbangan 15 September 2024 – 1 Oktober 2024
Tentang pengumpulan dana
pencarian buku
buku
Sumbangan:
71.1% dicapai
Masuk
Masuk
pengguna terdaftar memiliki akses ke:
rekomendasi pribadi
Bot Telegram
riwayat unduhan
mengirim ke alamat email atau Kindle
manajemen daftar buku
penyimpanan ke Favorit
Pribadi
Permintaan untuk buku
Pengkajian
Z-Recommend
Daftar buku
Yang paling populer
Kategori
Partisipasi
Mendukung
Unggahan
Litera Library
Menyumbangkan buku kertas
Menambah buku kertas
Search paper books
LITERA Point saya
Pencarian kata kunci
Main
Pencarian kata kunci
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
Tahun:
2006
Bahasa:
english
File:
PDF, 3.46 MB
Tag Anda:
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
Tahun:
2003
Bahasa:
english
File:
PDF, 2.91 MB
Tag Anda:
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
Tahun:
2003
Bahasa:
english
File:
PDF, 2.54 MB
Tag Anda:
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
Tahun:
2003
Bahasa:
english
File:
PDF, 2.02 MB
Tag Anda:
0
/
0
english, 2003
1
Pindah ke
tautan ini
atau temukan bot "@BotFather" di Telegram
2
Kirimlah perintah /newbot
3
Masukkan nama untuk bot Anda
4
Masukkan nama pengguna untuk bot
5
Salin pesan terbaru dari BotFather dan masukkannya di sini
×
×