|
Вид документа : Монографическая серия Шифр издания : 510.6(063)/T44-345290
Заглавие : Theorem proving in higher order logics [Electronic resource]
: 21st International conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2008 Коллективы :
SpringerLink (Online service) Серия: Lecture notes in computer science, ISSN 0302-9743 ; 5170
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-71067-7: Б.ц.
ГРНТИ : 27.03.19 УДК : 510(063) Предметные рубрики: Математическая логика-- Съезды и конференции
См. : Текст издания Доп.точки доступа: Mohamed, O. \ed.\; SpringerLink (Online service)
|
|