عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
3540706410
9783540706410
b566731
Theorem Proving in Higher Order Logics :
[Book]
9th International Conference, TPHOLs'96 Turku, Finland, August 26-30, 1996 Proceedings
edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison.
Berlin, Heidelberg
Springer-Verlag : Springer e-books
1996
Lecture Notes in Computer Science, 1125
Computer science.
Logic design.
Software engineering.
edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison.
Gerhard Goos
Jan van Leeuwen
Jim Grundy
Joakim Wright
John Harrison
Juris Hartmanis
مطالعه متن کتاب [Book]
Y
