Book serie: / Книги серии: Lecture Notes in Computer Science 2410 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 2410

book Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

pdf

Author: Ricky Butler (auth.) Victor A. Carreño César A. Muñoz Sofiène Tahar (eds.)
Language: English
Year: 2002

00

27.01.2024

0

0

book Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

pdf

Author: Ricky Butler (auth.) Victor A. Carreño César A. Muñoz Sofiène Tahar (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0