Logic and computer science : Lectures given at the 1st Sess. of the Centro intern. mat. estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988

1524

Купить

Краткое содержание:

Logic and computer science : Lectures given at the 1st Sess. of the Centro intern. mat. estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988

Name: Logic and computer science : Lectures given at the 1st Sess. of the Centro intern. mat. estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988
Rating: 4.5
ISBN: 3-540-52734-6

Автор:

Homer Steven

Год:

Cop.1990

isbn:

3-540-52734-6

Язык:

Английский

Страниц:

162

Заглавие серии:

Lecture notes in mathematics ; 1429

Описание:

Homer S., Steven Logic and computer science : Lectures given at the 1st Sess. of the Centro intern. mat. estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988 / S. Homer, A. Nerode, R. A. Platek et al.; Ed.: P. Odifreddi. - Berlin etc. : Springer-Verl., Cop.1990. - [3], 162 с. : ил. ; 24 см. - (Lecture notes in mathematics ; 1429). - Библиогр. в конце докл.

Рейтинг по отзывам:

4.5

Материалы:

Реферат, Курсовая, ВКР/Диплом, Диссертация

Рубрики:

Математическая логика

Примечания:

Библиогр. в конце докл.

Другие ответственные лица:

Odifreddi, Piergiorgio → Редактор

Дата создания:

2020-11-07 20:58:31

Соц. сети:

Важно

Реставрация книги

Пожалуйста, помогите актуализировать информацию

Загрузить фотографию актуальной обложки книги

Дополнить или обновить информацию о книге

Купить

Лабиринт

150р. Завтра

Самовывоз

Посмотреть
Яндекс Маркет

150р. Завтра

Самовывоз

Посмотреть
Ozon

Бесплатно в пункт выдачи

Посмотреть
AliExpress

Бесплатно

Посмотреть
Буквоед

200р. Сегодня

Самовывоз

Посмотреть
ЛитРес

Бесплатно

Недоступно
Подписные издания

100р. 2-3 дн.

Самовывоз

Посмотреть
Smart Reading

300р. 2-3 дн.

Посмотреть
Миф

250р. Завтра

Посмотреть
AbeBooks

100р. 2-3 дн.

Посмотреть
Читай-город

250р. Завтра

Посмотреть
Mynamebook

300р. Сегодня

Посмотреть
Magic-kniga

75р. Завтра

Самовывоз

Посмотреть
Альпина книги

130р. 2-3 дн.

Самовывоз

Посмотреть
Искусница

120р. 2-3 дн.

Посмотреть

Реферат по теме Logic and computer science : Lectures given at the 1st Sess. of the Centro intern. mat. estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988

Заказать реферат Узнать стоимость Скачать пример

Курсовая по теме Logic and computer science : Lectures given at the 1st Sess. of the Centro intern. mat. estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988

Заказать курсовую Узнать стоимость Скачать пример

ВКР/Диплом по теме Logic and computer science : Lectures given at the 1st Sess. of the Centro intern. mat. estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988

Заказать диплом Узнать стоимость Скачать пример

Диссертация по теме Logic and computer science : Lectures given at the 1st Sess. of the Centro intern. mat. estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988

Заказать диссертацию Узнать стоимость Скачать пример

Заработать на знаниях по теме Logic and computer science : Lectures given at the 1st Sess. of the Centro intern. mat. estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988

Заработать от 15 000 руб. до 150 000 руб.

Реставрация Logic and computer science : Lectures given at the 1st Sess. of the Centro intern. mat. estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты

Объявление о покупке (разыскивается книга)

Объявление о продаже

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Центральна районна бібліотека ім. А. Гайдара для дітей

Киев город со специальным статусом, Київ, Оболонський район, Оболонь
Героїв Сталінграда проспект, 51Б
Расположение на карте

зимний период: пн-пт 10:00-18:00; вс 10:00-17:00; санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00

+380 (44) 411-65-06 +380 (44) 413-51-27

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Фенинская сельская библиотека

Московская область, Балашиха городской округ, Балашиха
Павлино микрорайон, 64
Расположение на карте

Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-18:00

www.cbsbalashihi.ru

+7 (495) 527-73-08

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Межпоселенческая библиотека, МБУК

Московская область, Ленинский район, д. Мильково
Мильково д, 105/1
Расположение на карте

санитарный день: последний чт месяца
Вт: 13:00-21:00
Ср: 13:00-21:00
Чт: 13:00-21:00
Пт: 13:00-21:00
Сб: 13:00-21:00

biblio-vidnoe.ru
Вконтакте: https://vk.com/club35532545
Facebook: https://facebook.com/270433469696779

+7-926-011-05-72

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека музеев России

Красноярский край, Красноярск городской округ, Красноярск, Октябрьский район
Мелькомбинатская, 2а
Расположение на карте

Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00

www.kkkm.ru
Вконтакте: https://vk.com/yudinka_museum
Инстаграм: https://instagram.com/yudinka_krsk
Facebook: https://facebook.com/BibliotekaMR
Твиттер: https://twitter.com/@kkkm

+7 (391) 221-50-75

Показать номер

Logic in Computer Science, Engineering and Industry

Yuri Gurevich, Microsoft Research https://simons.berkeley.edu/talks/yuri-gurevich-11-10-2016 {Symmetry, Logic, Computation}

Simons Institute Introduction to Logic Gates

This is a beginner's introduction to logic gates. It starts with an historical mention of the development of two state devices including valves and transistors, and ...

Computer Science From logic to computer science: a linguistic journey

Royal Society Milner Award lecture by Professor Gordon Plotkin FRS Filmed at The Royal Society, London on Wed 13 Feb 2013 6:30pm - 7:30pm For more ...

The Royal Society