000 02300nam a2200409 c 4500
003 BLK
005 20180420232525.0
008 180409b bul|||||r ||||||| ||bul||
010 _aKNG00138796000
020 _a978-954-07-3232-9
_bиздат.: St. Kliment Ohridski Univ. Press
040 _aBLK
041 _aENG
_cENG
072 7 _2bullib
_aН50
_xЕстествени науки. Математика и др. Н
080 _aИзчислителна математика. Числен анализ и програмиране (машинна математика) - Числени методи в алгебрата, за решаване на диференциални и интегрални уравнения, апроксимация, интерполиране и др.
_b519.6
_x(063)
_z519.6(063)
080 _aМатематическа логика. Логически и логико-предметни езици и теории, формални логически системи, логико-математически теорииртеория на моделите и др. Вж и 519. 21 ; 519. 76 ; 519. 86
_b510.6
_x(063)
_z510.6(063)
700 1 _aGanchev, Hristo
_eed. by
_9323504
139 _aModels of Computation in Context
_bM 78
245 1 0 _aModels of Computation in Context
_b7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : Abstract and Handout Booklet
_ced. by Hristo Ganchev.
257 _aBGR
260 Sofia
_bSt. Kliment Ohridski Univ. Press
_c2011
300 _a232 p.
_c24 cm
380 _a5
500 _aСъдържа Именен показалец ; Библиогр. след отд. докл.
650 4 _aИзчислителна математика
_9288941
650 4 _aМатематически анализ - конференции
_9241817
650 4 _aЛогика, символна и математическа
_9262676
653 _aизчислителна математика
653 _aматематически анализ
653 _aматематическа логика
653 _aконференции
659 _aН
852 _aЦб 258077
856 4 _qpdf
_u
856 4 _qpdf
_u
942 _cKNG
_n0
944 _aCR
_c31.01.2013
_kМилена_Ачева
944 _aED
_c26.06.2013
_k
999 _c132913
_d132913