510.6(063) A16         Abstraction, reformulation, and approximation [Electronic resource] : 7th international symposium, SARA 2007, Whistler, Canada, July 18-21, 2007 : proceedings / eds.: I. Miguel, W. Ruml. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4612). - ISBN 978-3-540-73580-9 : Б. ц. ГРНТИ 27.03.19 51.01.13 28.23 УДК 510.6(063) 004(063) 004.8(063) Рубрики: Математическая логика--Съезды и конференции    Вычислительная техника--Съезды и конференции    Искусственный интеллект--Съезды и конференции См. : Текст издания Доп.точки доступа: Miguel, I. \ed.\; SpringerLink (Online service) Свободных экз. нет

510.6(063) C74         Computation and logic in the real world [Electronic resource] : third conference on computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007: proceedings / ed. S. B. Cooper [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4497). - ISBN 978-3-540-73001-9 : Б. ц. ГРНТИ 50.07 27.03.19 УДК 510.6(063) 004.02 Рубрики: Математическая логика--Применение в вычислительной технике--Съезды и конференции См. : Текст издания Доп.точки доступа: Cooper, S.B. \ed.\; SpringerLink (Online service) Свободных экз. нет

510(063)/C74-972354         Computer science logic [Electronic resource] : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, Sept. 7-11, 2009: proceedings / ed.: E. Grädel, R. Kahle. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5771). - ISBN 978-3-642-04027-6 : Б. ц. ГРНТИ 27.03.19 50.01.13 УДК 510.6(063) 004(063) Кл.слова (ненормированные): математическая логика -- вычислительная техника -- конференции См. : Текст издания Доп.точки доступа: Grädel, E. \ed.\; Kahle, R. \ed.\; SpringerLink (Online service) Свободных экз. нет

510.6(063) C74         Computer science logic [Electronic resource] : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings / ed. J. Duparc, T. A. Henzinger. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4646). - ISBN 978-3-540-74915-8 : Б. ц. ГРНТИ 27.03.19 50.01.13 УДК 510.6(063) 004(063) Рубрики: Математическая логика--Съезды и конференции    Вычислительная техника--Съезды и конференции См. : Текст издания Доп.точки доступа: Duparc, J. \ed.\; SpringerLink (Online service) Свободных экз. нет

510.6(063) C74         Computer science logic [Electronic resource] : 20th international workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25-29, 2006: proceedings / ed. Z. Esik. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4207). - ISBN 978-3-540-45459-5 : Б. ц. ГРНТИ 27.03.19 50.01.13 УДК 510.6(063) 004(063) Рубрики: Математическая логика--Съезды и конференции    Вычислительная техника--Съезды и конференции См. : Текст издания Доп.точки доступа: Esik, Z. \ed.\; SpringerLink (Online service) Свободных экз. нет

510.6(063) D43         Deontic logic and artificial normative systems [Electronic resource] : 8th international workshop on Ddontic Llogic in computer science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings / eds.: L. Goble, J. Meyer. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4048). - ISBN 978-3-540-35843-5 : Б. ц. ГРНТИ 27.03.19 50.05.13 УДК 510.6(063) 004(063) Рубрики: Математическая логика--Съезды и конференции    Вычислительная техника--Съезды и конференции См. : Текст издания Доп.точки доступа: Goble, L. \ed.\; SpringerLink (Online service) Свободных экз. нет

510.6(063) F94         Frontiers of combining systems [Electronic resource] : 6th international symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 : proceedings / ed. B. Konev, F. Wolter. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4720). - ISBN 978-3-54074-621-8 : Б. ц. ГРНТИ 27.03.19 50.05.13 УДК 510.6(063) 004.8(063) 004.42(063) Рубрики: Математическая логика--Съезды и конференции    Искусственный интеллект--Съезды и конференции    Программирование для ЭВМ--Съезды и конференции См. : Текст издания Доп.точки доступа: Konev, B. \ed.\; SpringerLink (Online service) Свободных экз. нет

510.6(063) F94         Frontiers of combining systems [Electronic resource] : 7th International symposium, FroCoS 2009, Trento, Italy, Sept. 16-18, 2009: proceedings / ed.: S. Ghilardi, R. Sebastiani. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5749). - ISBN 978-3-642-04222-5 : Б. ц. ГРНТИ 27.03.19 50.05.13 УДК 510.6(063) 004.8(063) 004.42(063) Кл.слова (ненормированные): математическая логика -- искусственный интеллект -- программирование для эвм -- конференции См. : Текст издания Доп.точки доступа: Ghilardi, S. \ed.\; Sebastiani, R. \ed.\; SpringerLink (Online service) Свободных экз. нет

510.6(063) L85         Logic for programming, aritficial intelligence, and reasoning [Electronic resource] : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings / eds. M. Hermann, A. Voronkov. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4246). - ISBN 978-3-540-48281-9 : Б. ц. ГРНТИ 27.03.19 50.05.13 28.23.17 УДК 510.6(063) 004.42(063) 004.8(063) Рубрики: Математическая логика--Съезды и конференции    Программирование для ЭВМ--Съезды и конференции    Искусственный интеллект--Съезды и конференции См. : Текст издания Доп.точки доступа: Hermann, M. \ed.\; SpringerLink (Online service) Свободных экз. нет

510.6(063) L85         Logic, language, and computation [Electronic resource] : 7th international Tbilisi symposium on logic, Language, and computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected papers / ed. P. Bosch [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5422). - ISBN 978-3-642-00665-4 : Б. ц. ГРНТИ 27.03.19 50.05.09 50.05.13 УДК 510.6(063) 004.43(063) 004(063) Рубрики: Математическая логика--Съезды и конференции    Программирования языки--Съезды и конференции    Вычислительная техника--Съезды и конференции См. : Текст издания Доп.точки доступа: Bosch, P. \ed.\; SpringerLink (Online service) Свободных экз. нет

510.6(063) L85         Logic, language, and computation [Electronic resource] : 6th international Tbilisi symposium on logic, language, and computation,TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers / ed. B. D. Cate, H. W. Zeevat. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4363). - ISBN 978-3-540-75144-1 : Б. ц. ГРНТИ 27.03.19 50.05.09 50.05.13 УДК 510.6(063) 004.43(063) 004(063) Рубрики: Математическая логика--Съезды и конференции    Программирования языки--Съезды и конференции    Вычислительная техника--Съезды и конференции См. : Текст издания Доп.точки доступа: Cate, B.D. \ed.\; SpringerLink (Online service) Свободных экз. нет

510.6(063) L85         Logic, language, information and computation [Electronic resource] : 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings / eds. H. Ono [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5514). - ISBN 978-3-642-02261-6 : Б. ц. ГРНТИ 27.03.19 50.05.09 20.53.19 УДК 510.6(063) 004.43(063) 004.62(063) Кл.слова (ненормированные): математическая логика -- программирования языки -- информация -- обработка -- конференции См. : Текст издания Доп.точки доступа: Ono, H. \ed.\; SpringerLink (Online service) Свободных экз. нет

510.6(063) L85         Logical approaches to computational barriers [Electronic resource] : 2nd conference on computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings / ed. A. Beckmann [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 3988). - ISBN 978-3-540-35468-0 : Б. ц. ГРНТИ 27.03.19 50.01.13 УДК 510.6(063) 004(063) Рубрики: Математическая логика--Съезды и конференции    Вычислительная техника--Съезды и конференции См. : Текст издания Доп.точки доступа: Beckmann, A. \ed.\; SpringerLink (Online service) Свободных экз. нет

004.8(063) L85         Logics in artificial intelligence [Electronic resource] : 10th european conference, JELIA 2006 Liverpool, UK, September 13-15, 2006: proceedings / ed. M. Fisher [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4160). - ISBN 978-3-540-39627-7 : Б. ц. ГРНТИ 28.23.17 УДК 004.8(063) 510.6(063) Рубрики: Искусственный интеллект--Съезды и конференции    Математическая логика--Съезды и конференции См. : Текст издания Доп.точки доступа: Fisher, M. \ed.\; SpringerLink (Online service) Свободных экз. нет

510.6(063) T44         Theorem proving in higher order logics [Electronic resource] : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007: proceedings / ed. K. Schneider, J. Brandt. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4732). - ISBN 978-3-54074-591-4 : Б. ц. ГРНТИ 27.03.19 УДК 510.6(063) Рубрики: Математическая логика--Съезды и конференции См. : Текст издания Доп.точки доступа: Schneider, K. \ed.\; SpringerLink (Online service) Свободных экз. нет