A formal basis for Horn clause logic with external polymorphic functions : A thesis
2932
Краткое содержание:
Экранизация книги

A formal basis for Horn clause logic with external polymorphic functions : A thesis

Автор:
Bonnier Staffan
Год:
1992
isbn:
91-7870-896-6
Язык:
Английский
Страниц:
171
Заглавие серии:
Linköping studies in science and technology . Dissertations ; N 276 [0345-7524]
Описание:
Bonnier S. A formal basis for Horn clause logic with external polymorphic functions : [A thesis] / Staffan Bonnier. - Linköping : Linköping univ. Dep. of computer a. inform. science, 1992. - [2], V, 171 с. ; 24 см. - (Linköping studies in science and technology . Dissertations ; N 276 [0345-7524]). - Библиогр.: с. 155-166
Рейтинг по отзывам:
4.5
Рубрики:
Математическая логика
Примечания:
Библиогр.: с. 155-166
ББК:
В123
Дата создания:
2020-05-04 20:30:17
Соц. сети:
Gilad Bracha - Composing Software in an Age of Dissonance
Invited Speaker: Gilad Bracha Title: Composing Software in an Age of Dissonance Event: ...
ECOOPLDI 2017
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
A formal basis for Horn clause logic with external polymorphic functions : A thesis
Кто издал книгу?
Автор на свои деньги
Другое
Не знаю

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Prolog | Wikipedia audio article
This is an audio version of the Wikipedia Article: Prolog Listening is a more natural way of learning, when compared to reading. Written language only began at ...
wikipedia tts
Prolog | Wikipedia audio article
This is an audio version of the Wikipedia Article: Prolog Listening is a more natural way of learning, when compared to reading. Written language only began at ...
wikipedia tts
Prolog | Wikipedia audio article | Wikipedia audio article
This is an audio version of the Wikipedia Article: Prolog | Wikipedia audio article Listening is a more natural way of learning, when compared to reading. Written ...
Shishir Kumar Sahu
Название и адрес
Режим работы
Телефон
Республиканская научная медицинская библиотека, Министерство здравоохранения КР
Бишкек, Бишкек, Первомайский район
Тоголока Молдо, 1/2
Пн: 09:00-12:30 13:30-18:00
Вт: 09:00-12:30 13:30-18:00
Ср: 09:00-12:30 13:30-18:00
Чт: 09:00-12:30 13:30-18:00
Пт: 09:00-12:30 13:30-18:00
Сб: 09:00-16:00
 +996 (312) 66-05-21
Показать номер
Название и адрес
Режим работы
Телефон
Межпоселенческая библиотека, МБУК
Московская область, Ленинский район, Видное, Расторгуево дачный пос.
Булатниковская, 1/15
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
 +7 (495) 541-32-35
Показать номер
Название и адрес
Режим работы
Телефон
Научная библиотека, МГУ им. М.В. Ломоносова
Москва, Москва, Раменки район
Ломоносовский проспект, 27
санитарный день: первая ср месяца
Пн: 11:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-17:00
 +7 (495) 939-35-47
Показать номер
Название и адрес
Режим работы
Телефон
Центр национальных литератур, библиотека
Свердловская область, Верхняя Пышма городской округ, Верхняя Пышма
Красноармейская, 9
июнь-август: пн-пт 9:00-17:00; санитарный день: последний чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
 +7 (34368) 5-30-14
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека, с. Балтым
Свердловская область, Верхняя Пышма городской округ, с. Балтым
Набережная, 4а
санитарный день: последний чт месяца
Пн: 11:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-17:00
 +7 (34368) 3-08-18
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №14
Челябинская область, Златоустовский городской округ, Златоуст, 5-й микрорайон
Южно-Есаульская, 8
зимний период: пн-пт 10:00-18:00, перерыв: 13:30-14:00; сб выходной; вс 10:00-18:00, перерыв: 13:30-14:00
Пн: 10:00-13:30 14:00-18:00
Вт: 10:00-13:30 14:00-18:00
Ср: 10:00-13:30 14:00-18:00
Чт: 10:00-13:30 14:00-18:00
Пт: 10:00-13:30 14:00-18:00
 +7 (3513) 62-28-44
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека, Дом офицеров
Новосибирская область, Новосибирск городской округ, Новосибирск, Центральный район
Красный проспект, 63
Пн: 10:00-13:00 14:00-17:00
Вт: 10:00-13:00 14:00-17:00
Ср: 10:00-13:00 14:00-17:00
Чт: 10:00-13:00 14:00-17:00
Пт: 10:00-13:00 14:00-17:00
 +7 (383) 228-41-83
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека, д. Пушкарево
Новосибирская область, Ордынский район, д. Пушкарёво
Школьная, 2
Вт: 10:00-13:00 14:00-16:30
Ср: 10:00-13:00 14:00-16:30
Чт: 10:00-13:00 14:00-16:30
Пт: 10:00-13:00 14:00-16:30
Сб: 10:00-14:30
Название и адрес
Режим работы
Телефон
Библиотека, Дворец культуры кузнецких металлургов
Кемеровская область, Новокузнецкий городской округ, Новокузнецк, Центральный район
Металлургов проспект, 20
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
 +7 (3843) 79-48-04
Показать номер
Название и адрес
Режим работы
Телефон
Ставропольская краевая детская библиотека им. А.Е. Екимцева
Ставропольский край, Ставрополь городской округ, Ставрополь, Промышленный район, 23-й микрорайон
Мира, 382
зимний период: пн-пт, вс 10:00-18:00; санитарный день: последний пн месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Prolog | Wikipedia audio article
This is an audio version of the Wikipedia Article: Prolog Listening is a more natural way of learning, when compared to reading. Written language only began at ...
wikipedia tts
Егор Петров
A formal basis for Horn clause logic with external polymorphic functions : A thesis. Аннотация: несколько формальных процедур, позволяющих решать многие проблемы, связанные с предопределением.
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Республиканская научная медицинская библиотека, Министерство здравоохранения КР
Бишкек, Бишкек, Первомайский район
Тоголока Молдо, 1/2
Пн: 09:00-12:30 13:30-18:00
Вт: 09:00-12:30 13:30-18:00
Ср: 09:00-12:30 13:30-18:00
Чт: 09:00-12:30 13:30-18:00
Пт: 09:00-12:30 13:30-18:00
Сб: 09:00-16:00
 +996 (312) 66-05-21
Показать номер
Название и адрес
Режим работы
Телефон
Межпоселенческая библиотека, МБУК
Московская область, Ленинский район, Видное, Расторгуево дачный пос.
Булатниковская, 1/15
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
 +7 (495) 541-32-35
Показать номер
Название и адрес
Режим работы
Телефон
Научная библиотека, МГУ им. М.В. Ломоносова
Москва, Москва, Раменки район
Ломоносовский проспект, 27
санитарный день: первая ср месяца
Пн: 11:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-17:00
 +7 (495) 939-35-47
Показать номер
Название и адрес
Режим работы
Телефон
Центр национальных литератур, библиотека
Свердловская область, Верхняя Пышма городской округ, Верхняя Пышма
Красноармейская, 9
июнь-август: пн-пт 9:00-17:00; санитарный день: последний чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
 +7 (34368) 5-30-14
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека, с. Балтым
Свердловская область, Верхняя Пышма городской округ, с. Балтым
Набережная, 4а
санитарный день: последний чт месяца
Пн: 11:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-17:00
 +7 (34368) 3-08-18
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №14
Челябинская область, Златоустовский городской округ, Златоуст, 5-й микрорайон
Южно-Есаульская, 8
зимний период: пн-пт 10:00-18:00, перерыв: 13:30-14:00; сб выходной; вс 10:00-18:00, перерыв: 13:30-14:00
Пн: 10:00-13:30 14:00-18:00
Вт: 10:00-13:30 14:00-18:00
Ср: 10:00-13:30 14:00-18:00
Чт: 10:00-13:30 14:00-18:00
Пт: 10:00-13:30 14:00-18:00
 +7 (3513) 62-28-44
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека, Дом офицеров
Новосибирская область, Новосибирск городской округ, Новосибирск, Центральный район
Красный проспект, 63
Пн: 10:00-13:00 14:00-17:00
Вт: 10:00-13:00 14:00-17:00
Ср: 10:00-13:00 14:00-17:00
Чт: 10:00-13:00 14:00-17:00
Пт: 10:00-13:00 14:00-17:00
 +7 (383) 228-41-83
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека, д. Пушкарево
Новосибирская область, Ордынский район, д. Пушкарёво
Школьная, 2
Вт: 10:00-13:00 14:00-16:30
Ср: 10:00-13:00 14:00-16:30
Чт: 10:00-13:00 14:00-16:30
Пт: 10:00-13:00 14:00-16:30
Сб: 10:00-14:30
Название и адрес
Режим работы
Телефон
Библиотека, Дворец культуры кузнецких металлургов
Кемеровская область, Новокузнецкий городской округ, Новокузнецк, Центральный район
Металлургов проспект, 20
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
 +7 (3843) 79-48-04
Показать номер
Название и адрес
Режим работы
Телефон
Ставропольская краевая детская библиотека им. А.Е. Екимцева
Ставропольский край, Ставрополь городской округ, Ставрополь, Промышленный район, 23-й микрорайон
Мира, 382
зимний период: пн-пт, вс 10:00-18:00; санитарный день: последний пн месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Азат Нагирян
A formal basis for Horn clause logic with external polymorphic functions : A thesis. Аннотация:
Прикрепить файл