| |
Поиск по названию
[1061] Kowalski R.
Logic for problem solving: сборник научных трудов / R.Kowalski. - New York;Oxford : North-Holland, 1979. - 287 p. - (Artificial intelligence series ; n7). - ISBN 0-444-00365-7 : 12.00 р. Библиогр.:с.247-260. Указ.:с.262-287Держатели документа: ГПНТБ России
Экз-ры: АЛГ(1)
ГРНТИ: 28.23.20
УДК: 004.832
Рубрика: Искусственный интеллект / Решение задач
[1062] Романова Л. Е.
Logic of computation : proc.of the NATO Advanced study inst.on logic of computation, held in Marktoberdorf, Germany,July 25-Aug.6,1995 / сост.ed. H. Schwichtenberg. - Berlin etc. : Springer , 1997. - VI,394,/8/ p. p. : ill. - (NATO ASI(advanced science institutes)series. Ser.F, Computer and systems sciences ; vol.157). - ISBN 3-540-62963-7 : 380.00 р. Библиогр.в конце статейДержатели документа: ГПНТБ России
Доп.точки доступа: Schwichtenberg, H. сост.ed.
Экз-ры: фмз(1), (2)
Копия: мкф., Шифр MR-107701
ГРНТИ: 50.07
УДК: 510.6(063)
Рубрика: Математическая логика / Применение в вычислительной технике / Съезды и конференции
[1063] Johansson A. -L.
Logic program synthesis using schema instantiation in an interactive environment: diss. / A.-L.Johansson. - Stockholm : [s. n.], 1995. - XII,195 p. p. : ill. - (Report series / Stockholm univ., ISSN 1101-8526 ; n95-050). - ISBN 91-7153-414-8 : 3000 р. Библиогр.:с.146-153.Указ.:с.193-195Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 50.05.13
УДК: 004.42.047(043)
Рубрика: Программирование для ЭВМ логическое
[1064] Агафонов А. Ф.
Logic programming : proc. of the 1990 North amer. conf. on logic programming, Austin(Tx), from Oct.29 to Nov.1,1990 / сост.ed.: S. Debray, M. Hermenegildo. - Cambridge(Ma);London : The MIT press, 1990. - XVIII,845 p. p. - ISBN 0-262-54058-4 : 50.00 р. Библиогр. в конце ст.Держатели документа: ГПНТБ России
Доп.точки доступа: Debray, S. сост.ed.; Hermenegildo, M. сост.ed.
Экз-ры: ХР(1)
ГРНТИ: 50.05.13
УДК: 004.42.047(063)
Рубрика: Программирование для ЭВМ логическое / Съезды и конференции
[1065] Агафонов А. Ф.
Logic programming : proc. of the 1993 Intern. symp., Vancouver, Canada, 26-29 Oct. 1993 / сост.ed. D. Miller. - Cambridge(Ma);London : The MIT press, 1993. - XXII,686 p. p. - ISBN 0-262-63152-0 : 50.00 р. Библиогр.в конце ст.Держатели документа: ГПНТБ России
Доп.точки доступа: Miller, D. сост.ed.
Экз-ры: ХР(1)
ГРНТИ: 50.05.13
УДК: 004.42.047(063)
Рубрика: Программирование для ЭВМ логическое / Съезды и конференции
[1066] Агафонов А. Ф.
Logic programming : proc. of the tenth Intern. conf. on logic programming, Budapest, June 21-25, 1993 / сост.ed. D. S. Warren. - Cambridge(Ma);London : The MIT press, 1993. - XX,854 p. p. - ISBN 0-262-73105-3 : 50.00 р. Библиогр.в конце ст.Держатели документа: ГПНТБ России
Доп.точки доступа: Warren, D.S. сост.ed.
Экз-ры: ХР(1)
ГРНТИ: 50.05.13
УДК: 004.42.047(063)
Рубрика: Программирование для ЭВМ логическое / Съезды и конференции
[1067] Tick E.
Logic programming : proc.of the 1991 intern.symp.,held in San Diego,U.S.A.,Oct.28-Nov.1,1991 / сост.ed.: V. Saraswat, K. Ueda. - Cambridge(Ma);London : The MIT press, 1991. - 736 p. : ill. - (Logic programming). - ISBN 0-262-69147-7 : 500 р., 50.00 р. Библиогр.в конце статей.Держатели документа: ГПНТБ России
Доп.точки доступа: Saraswat, V. сост.ed.; Ueda, K. сост.ed.
Экз-ры: ХР(2), (2)
Копия: мкф., Шифр MR-104827
ГРНТИ: 50.05.03 50.01.13
УДК: 004.42.047(063)
Рубрика: Программирование для ЭВМ логическое / Съезды и конференции
[1068] Tick E.
Logic programming : proc.of the 7th intern.conf.,held in Jerusalem,June 18-20,1990 / сост.ed.: D. H.D. Warren, P. Szeredi. - Cambridge(Ma) : The MIT press, 1990. - 788 p. : ill. - (Logic programming). - ISBN 0-262-73090-1 : 500 р. Библиогр.в конце статей.Держатели документа: ГПНТБ России
Доп.точки доступа: Warren, D.H.D. сост.ed.; Szeredi, P. сост.ed.
Экз-ры: ХР(1), (2)
Копия: мкф., Шифр MR-104826
ГРНТИ: 50.05.03 50.01.13
УДК: 004.42.047(063)
Рубрика: Программирование для ЭВМ логическое / Съезды и конференции
[1069] Агафонов А. Ф.
Logic programming : proc.of the joint intern. conf. and symp. on logic programming, London, 1992 / сост.ed. K. Apt. - Cambridge(Ma);London : The MIT press, 1992. - XX,848 p. p. - ISBN 0-262-51064-2 : 50.00 р. Библиогр. в конце ст.Держатели документа: ГПНТБ России
Доп.точки доступа: Apt, K. сост.ed.
Экз-ры: ХР(1)
ГРНТИ: 50.05.13
УДК: 004.42.047(063)
Рубрика: Программирование для ЭВМ логическое / Съезды и конференции
[1070] Ceri S.
Logic programming and databases: монография / S.Ceri,G.Gottlob,L.Tanca. - Berlin etc : Springer, 1990. - XIII,284 p. p. : ill. - (Surveys in computer science). - ISBN 3-540-51728-6 : 24.10 р. Библиогр.:c.267-276.Указ.:c.277-284Держатели документа: ГПНТБ России
Доп.точки доступа: Gottlob, G.; Tanca, L.
Экз-ры: АЛГ(1), (2)
Копия: мкф., Шифр MR-90122
ГРНТИ: 50.05.13 20.23.21
УДК: 004.42.047 004.65
Рубрика: Программирование для ЭВМ логическое Банки данных
Объявление:
[1071] Apt K. R.
Logic programming and negation:a survey: монография / K.R.Apt,R.N.Bol. - Amsterdam : [s. n.], 1994. - 62 p. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9402). - 300 р. Библиогр.:с.52-62Держатели документа: ГПНТБ России
Доп.точки доступа: Bol, R.N.
Экз-ры: ХР(1)
ГРНТИ: 50.05.03
УДК: 004.42.047
Рубрика: Программирование для ЭВМ логическое
[1072] Leung C. H.C.
Logic programming'88 : proc. of the 7th conf., Tokyo, Japan, Apr. 11-14, 1988 / сост.ed. K. Furukawa. - Berlin etc. : Springer, 1989. - VIII, 251 p. 251 p. : ill. - (Lecture notes in artificial intelligence ; n383). - ISBN 3-540-51564-X : 20.00 р. Библиогр. в конце гл. Перевод заглавия: Логическое программированиеъ88:Труды 7-ой конф., Токио, 1988Перевод заглавия: Логическое программированиеъ88:Труды 7-ой конф., Токио, 1988Держатели документа: ГПНТБ России
Доп.точки доступа: Furukawa, K. сост.ed.
Экз-ры: АЛГ(1), (2)
Копия: мкф., Шифр MR-86971
ГРНТИ: 50.05.13
УДК: 004.42.047(063)
Рубрика: Программирование для ЭВМ логическое / Съезды и конференции
[1073] Lang E.
Logic programming'89 : proc.of the 8th conf.Tokyo,July 12-14 1989 / сост.ed. K. Furukawa. - Berlin etc. : Springer , 1991. - 183 p. : ill. - (Lecture notes in artificial intelligence ; 485). - ISBN 3-540-53919-0 : 100.00 р. Библиогр.в конце статейДержатели документа: ГПНТБ России
Доп.точки доступа: Furukawa, K. сост.ed.
Экз-ры: фмз(1), (2)
Копия: мкф., Шифр MR-98588
ГРНТИ: 50.05.13
УДК: 004.42.047(063)
Рубрика: Программирование для ЭВМ логическое / Съезды и конференции
[1074] Turi D.
Logic programs with negation: classes, models, interpreters / D.Turi. - Amsterdam : [s. n.], 1989. - 34 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R8943). - 1.00 р. Библиогр.:с.32-33Держатели документа: ГПНТБ России
Экз-ры: ХР(1), (2)
Копия: мкф., Шифр MR-89877
ГРНТИ: 50.05.13
УДК: 004.42.047
Рубрика: Программирование для ЭВМ логическое
[1075] Репин Е.
Logic, game theory and social choice : international conferenceExtended abstracts. - S.-Petersburg : Center of game theory et al., 2001. - 260 p. - 100 экз. - ISBN 5-7997-0297-2 : Б. ц. Библиогр. в конце отд. ст.Держатели документа: ГПНТБ России
Экз-ры: хр(1)
ГРНТИ: 28.29.05 04.51
УДК: 519.83(063) 316(063)
Рубрика: Игр теория / Съезды и конференции Социальная сфера / Съезды и конференции
[1076] Iwata S.
Logic,algebra and computation : proc.of the NATO advanced study inst.on logic,algebra and computation,Marktoberdorf,July 25-Aug.6 1989 / сост.ed. F. L. Bauer. - Berlin etc. : Springer , 1991. - 485 p. : ill. - (NATO ASI(advanced science institutes)series. Ser.F, Computer and systems sciences ; vol.79). - ISBN 3-540-54315-5 : 79000 р. Библиогр.в конце статейДержатели документа: ГПНТБ России
Доп.точки доступа: Bauer, F.L. сост.ed.
Экз-ры: ХР(2)
ГРНТИ: 27.17.21
УДК: 512.563.6(063)
Рубрика: Алгебра логики / Съезды и конференции
[1077] Jeroslow R. G.
Logic-based decision support: mixed integer model formulation / R.G.Jeroslow. - Amsterdam etc. : North-Holland, 1989. - XV,222 p. p. : ill. - (Annals of discrete mathematics ; n40). - ISBN 0-444-87119-5 : 46.58 р. Библиогр.:с.203-222Держатели документа: ГПНТБ России
Экз-ры: фмз(1), (2)
Копия: мкф., Шифр MR-86622
ГРНТИ: 27.47.19
УДК: 519.854
Рубрика: Программирование целочисленное
[1078] Кадомцев С. Б.
Logic-based program synthesis and transformation: 9th intern.workshop on logic-based program synthesis and transformation, Venice, Sept.22-24, 1999: Proc. / LOPSTR'99. - Berlin etc. : Springer, 2000. - VIII,312 p. p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; vol.1917). - ISBN 3-540-67628-7 : 1234.43 р. Библиогр.в конце ст. Указ.в конце кн.Держатели документа: ГПНТБ России
Доп.точки доступа: Bossi, A. сост.ed.
Экз-ры: фмз(1), (2)
Копия: мкф., Шифр MR-108914
ГРНТИ: 50.05.13
УДК: 004.42(063)
Рубрика: Программирование для ЭВМ / Съезды и конференции
[1079] Tavares O. A.P.
Logicadd : user's man.:generic CADD. - Version 2.0. - Redmond(Wa) : Generic software, 1986. - Pag.var. : ill. - 25.00 р. Указ.в конце книгиДержатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 50.41
УДК: 004.422.8
Рубрика: Программы для ЭВМ
[1080] Sanchez J.
Logical and mathematical methods for IBM microcomputers: монография / J.Sanchez. - Boca Raton(Fl) etc. : CRC press, 1991. - 458 p. - ISBN 0-8493-4288-0 : 13836 р. Библиогр.:с.447-450.Указ.:с.451-458Держатели документа: ГПНТБ России
Экз-ры: АЛГ(1)
ГРНТИ: 50.33.35
УДК: 004.382.7
Рубрика: Микро-ЭВМ
Страницы: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 [54] 55 56 57 58 59 60 61 62 63 64 65 66 67 |
| |
|
