510.6(063)/A16-695517 Abstraction, reformulation and approximation [Electronic resource] : 6th international symposium, SARA 2005 Airth Castle, Scotland, UK, July 26-29, 2005 : proceedings / eds. L. Saitta, J. Zucker. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3607). - ISBN 978-3-540-31882-8 : Б. ц.
Вычислительная техника--Съезды и конференции Искусственный интеллект--Съезды и конференции См. : Текст издания Доп.точки доступа: Saitta, L. \ed.\; SpringerLink (Online service) Свободных экз. нет |
510.6(063)/C74-495167 Computer science logic [Electronic resource] : 22nd International workshop, CSL 2008, 17th Annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008: proceedings / ed. M. Kaminski. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5213). - ISBN 978-3-540-87531-4 : Б. ц.
Вычислительная техника--Съезды и конференции См. : Текст издания Доп.точки доступа: Kaminski, M. \ed.\; SpringerLink (Online service) Свободных экз. нет |
510(063) C74 Computer science logic [Electronic resource] : 24th International workshop, CSL 2010, 19th Annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010: proceedings / ed. A. Dawar, H. Veith. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6247). - ISBN 978-3-642-15205-4 : Б. ц.
Кл.слова (ненормированные): математическая логика -- вычислительная техника -- конференции См. : Текст издания Доп.точки доступа: Dawar, A. \ed.\; SpringerLink (Online service) Свободных экз. нет |
510.6(063)/C74-459942 Computer science logic [Electronic resource] : 19th international workshop, CSL 2005, 14th annual conference of the EACSL Oxford, UK, August 22-25, 2005 : proceedings / ed. L. Ong. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3634). - ISBN 978-3-540-31897-2 : Б. ц.
Вычислительная техника--Съезды и конференции См. : Текст издания Доп.точки доступа: Ong, L. \ed.\; SpringerLink (Online service) Свободных экз. нет |
510.6(063)/D43-284319 Deontic logic in computer science [Electronic resource] : 9th International conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008: proceedings / ed. J. Carbonell. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5076). - ISBN 978-3-540-70525-3 : Б. ц.
Вычислительная техника--Съезды и конференции См. : Текст издания Доп.точки доступа: Carbonell, J. \ed.\; SpringerLink (Online service) Свободных экз. нет |
004.8(063)/F94-923439 Frontiers of combining systems [Electronic resource] : 5th international workshop, FroCoS 2005, Vienna Austria, September 19-21, 2005: proceedings / ed. B. Gramlich. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3717). - ISBN 978-3-540-31730-2 : Б. ц.
Искусственный интеллект--Съезды и конференции Программирование для ЭВМ--Съезды и конференции См. : Текст издания Доп.точки доступа: Gramlich, B. \ed.\; SpringerLink (Online service) Свободных экз. нет |
510(063) L85 Logic and the foundations of game and decision theory – loft 8 [Electronic resource] : 8th international conference, Amsterdam, The Netherlands, July 3-5, 2008 : revised selected papers / ed.: G. Bonanno [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6006). - ISBN 978-3-642-15164-4 : Б. ц.
Кл.слова (ненормированные): математическая логика -- теория игр -- теория принятия решений -- конференции См. : Текст издания Доп.точки доступа: Bonanno, G. \ed.\; SpringerLink (Online service) Свободных экз. нет |
510.6(063)/L85-611191 Logic for programming, artificial intelligence, and reasoning [Electronic resource] : 14th International conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007: proceedings / ed. N. Dershowitz. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4790). - ISBN 978-3-540-75560-9 : Б. ц.
Программирование для эвм--Съезды и конференции Искусственный интеллект--Съезды и конференции См. : Текст издания Доп.точки доступа: Dershowitz, N. \ed.\; SpringerLink (Online service) Свободных экз. нет |
510.6(063)/L85-784560 Logic for programming, artificial intelligence, and reasoning [Electronic resource] : 15th International conference, LPAR 2008, Doha, Qatar, November 22-27, 2008: proceedings / ed. I. Cervesato. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5330). - ISBN 978-3-540-89439-1 : Б. ц.
Программирование для эвм--Съезды и конференции Искусственный интеллект--Съезды и конференции См. : Текст издания Доп.точки доступа: Cervesato, I. \ed.\; SpringerLink (Online service) Свободных экз. нет |
510.6(063)/L85-446688 Logic for programming, artificial intelligence, and reasoning [Electronic resource] : 11th International conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005: proceedings / ed. : F. Baader, A. Voronkov. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3452). - ISBN 978-3-540-32275-7 : Б. ц.
Программирование для ЭВМ--Съезды и конференции Искусственный интеллект--Съезды и конференции См. : Текст издания Доп.точки доступа: Baader, F. \ed.\; SpringerLink (Online service) Свободных экз. нет |
510.6(063)/L85-251982 Logic for programming, artificial intelligence, and reasoning [Electronic resource] : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings / ed. G. Sutcliffe, A. Voronkov. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3835). - ISBN 978-3-540-31650-3 : Б. ц.
Программирование для ЭВМ--Съезды и конференции Искусственный интеллект--Съезды и конференции См. : Текст издания Доп.точки доступа: Sutcliffe, G. \ed.\; SpringerLink (Online service) Свободных экз. нет |
510(063) L85 Logic, language, information and computation [Electronic resource] : 15th International workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008: proceedings / ed. W. Hodges. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5110). - ISBN 978-3-540-69937-8 : Б. ц.
Программирования языки--Съезды и конференции Информация--Обработка--Съезды и конференции См. : Текст издания Доп.точки доступа: Hodges, W. \ed.\; SpringerLink (Online service) Свободных экз. нет |
510(063) L85 Logic, language, information and computation [Electronic resource] : 17th International workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010: proceedings / eds. A. Dawar, R. Queiroz. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6188). - ISBN 978-3-642-13824-9 : Б. ц.
Кл.слова (ненормированные): математическая логика -- языки программирования -- информация -- обработка -- вычисления -- конференции См. : Текст издания Доп.точки доступа: Dawar, A. \ed.\; SpringerLink (Online service) Свободных экз. нет |
510.6(063)/L85-075239 Logic, language, information and computation [Electronic resource] : 14th International workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007: proceedings / ed. D. Leivant. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4576). - ISBN 978-3-540-73445-1 : Б. ц.
Программирования языки--Съезды и конференции Информация--Обработка--Съезды и конференции Вычислительная техника--Съезды и конференции См. : Текст издания Доп.точки доступа: Leivant, D. \ed.\; SpringerLink (Online service) Свободных экз. нет |
510.6(063)/L85-392735 Logical foundations of computer science [Electronic resource] : international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009: proceedings / ed. S. Artemov. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5407). - ISBN 978-3-540-92687-0 : Б. ц.
Вычислительная техника--Съезды и конференции См. : Текст издания Доп.точки доступа: Artemov, S. \ed.\; SpringerLink (Online service) Свободных экз. нет |
004(063) L85 Logical foundations of computer science [Electronic resource] : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007: proceedings / ed. S. Artemov. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4514). - ISBN 978-3-540-72734-7 : Б. ц.
Математическая логика--Съезды и конференции См. : Текст издания Доп.точки доступа: Artemov, S. \ed.\; SpringerLink (Online service) Свободных экз. нет |
004.8(063) L85 Logics in artificial intelligence [Electronic resource] : 11th european conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008: proceedings / ed. S. Holldobler. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5293). - ISBN 978-3-540-87803-2 : Б. ц.
Математическая логика--Съезды и конференции См. : Текст издания Доп.точки доступа: Holldobler, S. \ed.\; SpringerLink (Online service) Свободных экз. нет |
510.6(063)/T44-345290 Theorem proving in higher order logics [Electronic resource] : 21st International conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008: proceedings / ed. O. Mohamed. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5170). - ISBN 978-3-540-71067-7 : Б. ц.
См. : Текст издания Доп.точки доступа: Mohamed, O. \ed.\; SpringerLink (Online service) Свободных экз. нет |
510.6(063)/T44-548262 Theorem proving in higher order logics [Electronic resource] : 18th international conference, TPHOLs 2005 Oxford, UK, August 22-25, 2005 : proceedings / ed. J. Hurd. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3603). - ISBN 978-3-540-31820-0 : Б. ц.
См. : Текст издания Доп.точки доступа: Hurd, J. \ed.\; SpringerLink (Online service) Свободных экз. нет |
510.6(063)/T99-262765 Typed lambda calculi and applications [Electronic resource] : 7th international conference,TLCA 2005 Nara,Japan, April 21-23 2005: proc. / ed. P. Urzyczyn. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3461). - ISBN 978-35403-2014-2 : Б. ц.
Вычислительная техника--Съезды и конференции См. : Текст издания Доп.точки доступа: Urzyczyn, P. \ed.\; SpringerLink (Online service) Свободных экз. нет |