The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Automatisches Beweisverfahren
NASA formal methods: 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, proceedings
epub
Author:
Barrett Clark
,
Davies Misty
,
Kahsai Temesghen
Language:
English
Year:
2017
0
0
06.02.2024
0
0
Read online
NASA formal methods: 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, proceedings
pdf
Author:
Barrett Clark
,
Davies Misty
,
Kahsai Temesghen
Language:
English
Year:
2017
0
0
06.02.2024
0
0
Read online
Automated reasoning in higher-order logic: set comprehension and extensionality in church`s type theory
djvu
Author:
Brown Chad E
Language:
English
Year:
2007
0
0
30.01.2024
0
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
