Универзитетска библиотека 'С. Марковић', Београд (УБСМ)
  • Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема : докторска дисертација
    Симић, Данијела, 1986- = Simić, Danijela, 1986-
    Врста грађе - дисертација
    Издавање и производња - Београд : [Д. Симић], 2017
    Језик - српски
    COBISS.SR-ID - 50179599

Сигнатура – локација, инвентарски бр. ... Статус примерка Резервација
Magacin
РД 0000027238/+CD
ИН: 300189989
Magacin
РД 27238/+CD
ИН: 300189989
слободно - за читаоницу
loading ...
loading ...
loading ...