Вы здесь

Harrison J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Binary Decision Diagrams as a HOL Derived Rule 1994 Harrison J. Lecture Notes in Computer Science 24.11.1994
СТ A HOL Decision Procedure for Elementary Real Algebra 1994 Harrison J. Lecture Notes in Computer Science 21.06.1994
СТ Extending the HOL Theorem Prover with a Computer Algebra System to Reason About the Reals 1994 Harrison J., Thery L. Lecture Notes in Computer Science 18.06.1994
СТ Human Engineering in the Real World 1991 Harrison J. The Computer Bull. 09.01.1992