The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Nachum Dershowitz (auth.) Nachum Dershowitz (eds.)
Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
pdf
Author:
Nachum Dershowitz (auth.) Nachum Dershowitz (eds.)
Language:
English
Year:
2004
0
0
27.01.2024
0
0
Read online
The Evolution of Programs
pdf
Author:
Nachum Dershowitz (auth.)
Language:
English
Year:
1983
0
0
27.01.2024
0
0
Read online
Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
pdf
Author:
Nachum Dershowitz (auth.) Nachum Dershowitz (eds.)
Language:
English
Year:
2004
0
0
27.01.2024
0
0
Read online
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings
pdf
Author:
Nachum Dershowitz (auth.) Bart Demoen Vladimir Lifschitz (eds.)
Language:
English
Year:
2004
0
0
27.01.2024
0
0
Read online
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings
pdf
Author:
Nachum Dershowitz (auth.) Bart Demoen Vladimir Lifschitz (eds.)
Language:
English
Year:
2004
0
0
26.01.2024
0
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
