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) 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 : Б. ц.
Вычислительная техника--Съезды и конференции Искусственный интеллект--Съезды и конференции См. : Текст издания Доп.точки доступа: Miguel, I. \ed.\; SpringerLink (Online service) Свободных экз. нет |
510 A35 Algebraic and proof-theoretic aspects of non-classical logics [Electronic resource] : papers in honor of Daniele Mundici on the occasion of his 60th birthday / ed. S. Aguzzoli. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4460). - ISBN 978-3-540-75939-3 : Б. ц.
См. : Текст издания Доп.точки доступа: Aguzzoli, S. \ed.\; SpringerLink (Online service) Свободных экз. нет |
16 A53 Analysis and synthesis of logics [Electronic resource] : how to cut and paste reasoning systems / W. Carnielli [et al.]. - Electronic text data. - Dordrecht : Springer, 2008. - (Applied logic series, ISSN 1386-2790 ; 35). - ISBN 978-1-402-06782-2 : Б. ц.
Кл.слова (ненормированные): логика -- математическая логика -- аксиология -- модальная логика -- вычислительная техника -- искусственный интеллект См. : Текст издания Доп.точки доступа: Carnielli, W.; Coniglio, M.; Gouveia, P.; Sernadas, C.; Gabbay, D.M.; SpringerLink (Online service) Свободных экз. нет |
510.22 K58 Kluska, J. Analytical methods in fuzzy modeling and control [Electronic resource] / J. Kluska. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Studies in fuzziness and soft computing, ISSN 1434-9922 ; 241). - ISBN 978-3-540-89927-3 : Б. ц.
Интеллектуальные системы См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
510.7 K69 Kohlenbach, U. Applied proof theory: proof interpretations and their use in mathematics [Electronic resource] / U. Kohlenbach. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Springer monographs in mathematics, ISSN 1439-7382). - ISBN 978-3-540-77533-1 : Б. ц.
Кл.слова (ненормированные): теория доказательств См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
510.7 B35 Beck, M. The art of proof [Electronic resource] : basic training for deeper mathematics / M. Beck, R. Geoghegan. - Electronic text data. - New York, NY : Matthias Beck and Ross Geoghegan, 2010. - (Undergraduate texts in mathematics, ISSN 0172-6056 ; 0). - ISBN 978-1-4419-7023-7 : Б. ц.
Кл.слова (ненормированные): доказательств теория См. : Текст издания Доп.точки доступа: Geoghegan, R.; SpringerLink (Online service) Свободных экз. нет |
004.8/P97-342842 Puppis, G. Automata for branching and layered temporal structures [Electronic resource] : an investigation into regularities of infinite transition systems / G. Puppis. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 5955). - ISBN 978-3-642-11881-4 : Б. ц.
Кл.слова (ненормированные): математическая логика -- применение -- вычислительная техника -- теория автоматов См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
51/A28-164843 Aigner, M. Das Buch der Beweise [Electronic resource] / M. Aigner, G. M. Ziegler. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - ISBN 978-3-642-02259-3 : Б. ц.
Кл.слова (ненормированные): доказательств теория См. : Текст издания Доп.точки доступа: Ziegler, G.M.; SpringerLink (Online service) Свободных экз. нет |
510.633 P78 Pogorzelski, W. A. Completeness theory for propositional logics [Electronic resource] / W. A. Pogorzelski, P. Wojtylak. - Electronic text data. - Basel : Birkhauser, 2008. - (Studies in universal logic). - ISBN 978-3-7643-8518-7 : Б. ц.
Кл.слова (ненормированные): математическая логика -- логика высказываний См. : Текст издания Доп.точки доступа: Wojtylak, P.; 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 : Б. ц.
См. : Текст издания Доп.точки доступа: Cooper, S.B. \ed.\; SpringerLink (Online service) Свободных экз. нет |
519.713 G64 Gopalakrishnan, G. Computation engineering [Electronic resource] : applied automata theory and logic / G. Gopalakrishnan. - Electronic text data. - Boston, Ma : Springer Science + Business Media LLC, 2006. - ISBN 0-387-32520-4 : Б. ц.
Математическая логика Программы для ЭВМ--Верификация См. : Текст издания Доп.точки доступа: 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-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 : Б. ц.
Кл.слова (ненормированные): математическая логика -- вычислительная техника -- конференции См. : Текст издания Доп.точки доступа: Grädel, E. \ed.\; Kahle, R. \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) 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 : Б. ц.
Вычислительная техника--Съезды и конференции См. : Текст издания Доп.точки доступа: 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 : Б. ц.
Вычислительная техника--Съезды и конференции См. : Текст издания Доп.точки доступа: Esik, Z. \ed.\; SpringerLink (Online service) Свободных экз. нет |
510.6 R26 Rautenberg, W. A concise introduction to mathematical logic [Electronic resource] / W. Rautenberg. - 3rd ed. - Electronic text data. - New York, NY : Springer Science+Business Media LLC, 2010. - (Universitext). - ISBN 978-1-4419-1221-3 : Б. ц.
Кл.слова (ненормированные): математическая логика См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
510/R26-230715 Rautenberg, W. A concise introduction to mathematical logic [Electronic resource] / W. Rautenberg. - Electronic text data. - New York, NY : Springer Science + Business Media Inc., 2006. - (Universitext). - ISBN 978-0-387-34241-2 : Б. ц.
Кл.слова (ненормированные): математическая логика См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
510.6 M24 Manin, Y. I. A course in mathematical logic for mathematicians [Electronic resource] / Y. I. Manin. - 2nd ed. - Electronic text data. - New York, NY : Springer, 2010. - (Graduate texts in mathematics, ISSN 0072-5285 ; 53). - ISBN 978-1-4419-0615-1 : Б. ц.
Кл.слова (ненормированные): математическая логика См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |