andrlux

andrlux

Гротендик А. Урожаи и посевы.

andrlux Mar 18, 2019 11:15

http://modernlib.net/books/grotendik_aleksandr/urozhai_i_posevi/read/

Leave a comment
Вселенная Гротендика

andrlux Mar 18, 2019 10:15

http://ru.knowledgr.com/00648351/%D0%92%D1%81%D0%B5%D0%BB%D0%B5%D0%BD%D0%BD%D0%B0%D1%8F%D0%93%D1%80%D0%BE%D1%82%D0%B5%D0%BD%D0%B4%D0%B8%D0%BA%D0%B0

Leave a comment 1
The Classical Decision Problem

andrlux Jan 15, 2019 20:15

(PDF) The Classical Decision Problem

PDF | On Jan 1, 1997, Egon Börger and others published The Classical Decision Problem

www.researchgate.net

http://www21.in.tum.de/teaching/logik/SS16/Slides/decision-problem.pdf

https://www.researchgate.net/publication

Leave a comment
Semantic Representation of Mathematical Knowledge Workshop

andrlux May 21, 2018 21:42

http://www.fields.utoronto.ca/activities/15-16/semantic

Leave a comment
онтология Mocassin

andrlux May 19, 2018 14:12

https://code.google.com/archive/p/mocassin/

Leave a comment
OntomathPRO

andrlux May 19, 2018 14:08

http://ontomathpro.org/

Leave a comment
Definable_set

andrlux Feb 27, 2018 07:14

https://en.wikipedia.org/wiki/Definable_set

Leave a comment
Wilhelmus_Luxemburg

andrlux Feb 12, 2018 08:59

https://en.wikipedia.org/wiki/Wilhelmus_Luxemburg

Leave a comment
Metamath

andrlux Dec 01, 2017 14:06

https://en.wikipedia.org/wiki/Metamath

Leave a comment
February 3-5, 2016 at the Fields Institute, Toronto, Ontario Semantic Representation of Mathematica

andrlux Aug 24, 2017 22:21

https://www.fields.utoronto.ca/programs/scientific/15-16/semantic/

Leave a comment

Previous

Next