Automation of reasoning. 2 : Classical papers on computational logic
2320
Краткое содержание:
Экранизация книги

Automation of reasoning. 2 : Classical papers on computational logic

Год:
1983
isbn:
3-540-12044-0
Язык:
Английский
Страниц:
637
Описание:
Automation of reasoning / Ed. by Jörg Siekmann a. Graham Wrightson. 2: , Classical papers on computational logic : 1967-1970. - 1983. - XII, 637 с. : ил., портр
Рейтинг по отзывам:
4.5
Рубрики:
Дата создания:
2020-07-25 18:32:31
Соц. сети:
What is Automated reasoning?, Explain Automated reasoning, Define Automated reasoning
Automated reasoning ~~~ Title: What is Automated reasoning?, Explain Automated reasoning, Define Automated reasoning Created on: 2018-09-13 Source ...
Audioversity
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Automation of reasoning. 2 : Classical papers on computational logic
Кто издал книгу?
Автор на свои деньги
Другое
Не знаю

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Computer Science ∩ Mathematics (Type Theory) - Computerphile
As computers are used more and more to confirm proofs, is it time to take computer science's contribution to mathematics further? Dr Thorsten Altenkirch ...
Computerphile
On the Role of Logic in Probabilistic Inference and Machine Learning –Adnan Darwiche
A tutorial on some roles of logic in probabilistic inference and machine learning. In particular, it discusses four key probabilistic queries that are complete for the ...
UCLA Automated Reasoning Group
What's the IQ of AI?
What's the IQ of AI?” This is the question the Fraunhofer-Gesellschaft will explore with prominent international experts from research, industry, politics and ...
Fraunhofer
Название и адрес
Режим работы
Телефон
Библиотека
Ош, Ош
Алишера Навои, 5/1а
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-12:00 13:00-17:00
Вт: 09:00-12:00 13:00-17:00
Ср: 09:00-12:00 13:00-17:00
Чт: 09:00-12:00 13:00-17:00
Пт: 09:00-12:00 13:00-17:00
Сб: 09:00-12:00 13:00-17:00
 +996 (3222) 2-41-70
Показать номер
Название и адрес
Режим работы
Телефон
Центральная городская детская библиотека им. С. Бегалина
Алматы, Алматы, Медеуский район
Толе би, 27
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 10:00-17:00
Название и адрес
Режим работы
Телефон
Научная библиотека, Коми научный центр Уральского отделения РАН
Республика Коми, Сыктывкар городской округ, Сыктывкар, Центральный
Коммунистическая, 24
Расположение на карте
Пн: 08:30-12:30 13:30-17:30
Вт: 08:30-12:30 13:30-17:30
Ср: 08:30-12:30 13:30-17:30
Чт: 08:30-12:30 13:30-17:30
Пт: 08:30-12:30
 +7 (8212) 24-53-98
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №214 им. Ю.А. Гагарина
Москва, Москва, Тропарёво-Никулино район
Вернадского проспект, 109
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 12:00-20:00
Название и адрес
Режим работы
Телефон
Буратино, центральная детская библиотека
Московская область, Электросталь городской округ, Электросталь, Южный м-н
Победы, 17 к1
Расположение на карте
зимний период: пн-пт 11:00-19:00; вс 11:00-18:00
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
 +7 (49657) 3-15-87 +7 (49657) 3-35-29
Показать номер
Название и адрес
Режим работы
Телефон
Чикчинская сельская библиотека, МАУК Централизованная библиотечная система Тюменского муниципального района
Тюменская область, Тюменский район, с. Чикча
Мусы Джалиля, 39
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
 +7 (3452) 77-50-05
Показать номер
Название и адрес
Режим работы
Телефон
Наследие, краеведческий центр
Иркутская область, Иркутск городской округ, Иркутск, Ленинский округ, Иркутск II
Муравьёва, 2/1
Расположение на карте
зимний период: вс 10:00-18:00
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (3952) 32-06-63
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека
Республика Дагестан, Махачкала городской округ, Махачкала, Ленинский район, 5-й пос.
Имама Шамиля проспект, 80
Расположение на карте
санитарный день: последний день месяца
Пн: 11:00-16:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
 +7 (8722) 62-35-80
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека им. В.В. Куйбышева
Новосибирская область, Новосибирск городской округ, Новосибирск, Ленинский район, Западный м-н
Колхидская, 11
Расположение на карте
технический день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 11:00-18:00
 +7 (383) 350-00-68
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека Двуреченского сельского поселения
Пермский край, Пермский район, пос. Ферма
Трубная, 4
Расположение на карте
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
 +7 (342) 230-96-70
Показать номер
Alex Wilce: "A Gentle Introduction to Quantum Logic"
Description.
Logic and Reasoning Institute at James Madison University Automated reasoning in non-classical logics with the polarized inverse method
Automated reasoning in classical logic has received much attention in the literature. Mature resolution theorem provers such as Vampire and E can handle ...
Microsoft Research To Crd, or Not to Crd, That is the Question - Ed King & Sam Gunaratne, Pivotal
Join us for Kubernetes Forums Seoul, Sydney, Bengaluru and Delhi - learn more at kubecon.io Don't miss KubeCon + CloudNativeCon 2020 events in ...
CNCF [Cloud Native Computing Foundation] AWS re:Inforce 2019: How Encryption Works in AWS (FND310-R)
Customers who want their data encrypted on AWS increasingly take advantage of AWS services that allow them to encrypt data and manage access to the ...
Amazon Web Services
Егор Петров
Automation of reasoning. 2 : Classical papers on computational logic. В книге говорится о математических методах (См.: Columbia University, 2003) и о некоторых других предметах, заслуживающих внимания в текущей работе.
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Библиотека
Ош, Ош
Алишера Навои, 5/1а
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-12:00 13:00-17:00
Вт: 09:00-12:00 13:00-17:00
Ср: 09:00-12:00 13:00-17:00
Чт: 09:00-12:00 13:00-17:00
Пт: 09:00-12:00 13:00-17:00
Сб: 09:00-12:00 13:00-17:00
 +996 (3222) 2-41-70
Показать номер
Название и адрес
Режим работы
Телефон
Центральная городская детская библиотека им. С. Бегалина
Алматы, Алматы, Медеуский район
Толе би, 27
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 10:00-17:00
Название и адрес
Режим работы
Телефон
Научная библиотека, Коми научный центр Уральского отделения РАН
Республика Коми, Сыктывкар городской округ, Сыктывкар, Центральный
Коммунистическая, 24
Расположение на карте
Пн: 08:30-12:30 13:30-17:30
Вт: 08:30-12:30 13:30-17:30
Ср: 08:30-12:30 13:30-17:30
Чт: 08:30-12:30 13:30-17:30
Пт: 08:30-12:30
 +7 (8212) 24-53-98
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №214 им. Ю.А. Гагарина
Москва, Москва, Тропарёво-Никулино район
Вернадского проспект, 109
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 12:00-20:00
Название и адрес
Режим работы
Телефон
Буратино, центральная детская библиотека
Московская область, Электросталь городской округ, Электросталь, Южный м-н
Победы, 17 к1
Расположение на карте
зимний период: пн-пт 11:00-19:00; вс 11:00-18:00
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
 +7 (49657) 3-15-87 +7 (49657) 3-35-29
Показать номер
Название и адрес
Режим работы
Телефон
Чикчинская сельская библиотека, МАУК Централизованная библиотечная система Тюменского муниципального района
Тюменская область, Тюменский район, с. Чикча
Мусы Джалиля, 39
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
 +7 (3452) 77-50-05
Показать номер
Название и адрес
Режим работы
Телефон
Наследие, краеведческий центр
Иркутская область, Иркутск городской округ, Иркутск, Ленинский округ, Иркутск II
Муравьёва, 2/1
Расположение на карте
зимний период: вс 10:00-18:00
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (3952) 32-06-63
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека
Республика Дагестан, Махачкала городской округ, Махачкала, Ленинский район, 5-й пос.
Имама Шамиля проспект, 80
Расположение на карте
санитарный день: последний день месяца
Пн: 11:00-16:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
 +7 (8722) 62-35-80
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека им. В.В. Куйбышева
Новосибирская область, Новосибирск городской округ, Новосибирск, Ленинский район, Западный м-н
Колхидская, 11
Расположение на карте
технический день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 11:00-18:00
 +7 (383) 350-00-68
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека Двуреченского сельского поселения
Пермский край, Пермский район, пос. Ферма
Трубная, 4
Расположение на карте
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
 +7 (342) 230-96-70
Показать номер
Азат Нагирян
Automation of reasoning. 2 : Classical papers on computational logic. В книге говорится
Прикрепить файл