Вы здесь
Theorem Proving for Functional Programmers. SPARKLE: A Functional Theorem Prover
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2002
Ключевые слова:
Стр.:
P.55-71
Библиография:
Bibliogr.: p.68-69
Издательство:
Источник:
Том:
2312
Карточка:
Б3.14, В2.11.
De Mol M., Van Ekelen M., Plasmeijer R..
Theorem Proving for Functional Programmers. SPARKLE: A Functional Theorem Prover: Springer// Lecture Notes in Computer Science-2002.-Vol. 2312.-P.55-71
Bibliogr.: p.68-69
Таблица в старой библиотеке:
PAP24 888