Obálka

Formalized mathematics a computer assisted approach.

Zobrazit další vydání (1)
Uloženo v:
Korporativní autor: Uniwersytet w Białymstoku
Médium: Elektronický zdroj Časopis
Jazyk:angličtina
Vydáno: [Bialystok, Poland] : University of Białystok
Témata:
Mathematics > Periodicals.
Logic, Symbolic and mathematical > Periodicals.
Mathematical analysis > Foundations > Periodicals.
Arithmetic > Foundations > Periodicals.
Logique symbolique et mathématique > Périodiques.
Analyse mathématique > Fondements > Périodiques.
Arithmétique > Fondements > Périodiques.
Arithmetic > Foundations
Logic, Symbolic and mathematical
Mathematical analysis > Foundations
Mathematics
Periodicals
On-line přístup:Available in Academic Search Ultimate.
Zobrazit v on-line katalogu
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky