Поиск :
Личный кабинет :
Электронный каталог: Deduction, computation, experiment
Deduction, computation, experiment
Доступно
1 из 1
1 из 1
Книга
Автор:
Deduction, computation, experiment : exploring the effectiveness of proof
Издательство: Springer, 2008 г.
ISBN 978-88-470-0783-3
Автор:
Deduction, computation, experiment : exploring the effectiveness of proof
Издательство: Springer, 2008 г.
ISBN 978-88-470-0783-3
Заказать 
На полку
Книга
16 D29
Deduction, computation, experiment: exploring the effectiveness of proof / Ed. by R. Lupacchini, G. Corsi. – Berlin; Heidelberg; New York: Springer, 2008. – 279 с. – На англ. яз. – ISBN 978-88-470-0783-3.
168.3
510.6
общий = Философия : логика. Эпистемиология. Теория познания [16]
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
46314 ин Библиотека НИУ ВШЭ Ст. Басманная к. А, контр.экз.: Staraya Basmannaya block A, Single copy Научный 16 D29
16 D29
Deduction, computation, experiment: exploring the effectiveness of proof / Ed. by R. Lupacchini, G. Corsi. – Berlin; Heidelberg; New York: Springer, 2008. – 279 с. – На англ. яз. – ISBN 978-88-470-0783-3.
168.3
510.6
общий = Философия : логика. Эпистемиология. Теория познания [16]
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
46314 ин Библиотека НИУ ВШЭ Ст. Басманная к. А, контр.экз.: Staraya Basmannaya block A, Single copy Научный 16 D29