478 | 15th International Conf.on Theorem Proving in higher Order Logics | ||
---|---|---|---|
°³ÃÖÀÏÀÚ | 2002/08/20~23 | ±¹³»/±¹¿Ü | |
ȨÆäÀÌÁö | http://shemesh.Larc.nasa.gov/tphols2002 | Àå ¼Ò | |
ÀÏÀÚ:2002/08/20~23 Àå¼Ò:Hampton, Virginia, USA |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.