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