Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedingsсборник
Статьи, опубликованные в сборнике
-
-
2003
MetaPRL - A modular logical environment
-
Hickey J.,
Nogin A.,
Constable R.,
Aydemir B.,
Barzilay E.,
Bryukhov Ye,
Eaton R.,
Granicz A.,
Kopylov A.,
Kreitz C.,
Krupski V.,
Lorigo L.,
Schmitt S.,
Witty C.,
Xin Yu
-
в сборнике Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 2758, с. 287-303