Higher order logic theorem proving and its applications 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

書誌詳細
その他の著者: Schubert, E. Thomas 1959-, Windley, Phillip J. 1958-, Alves-Foss, James 1964-
フォーマット: 図書
言語:English
出版事項: Berlin Springer-Verlag c1995.
シリーズ:Lecture notes in computer science 971
主題: