Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLS '99, Nice, France, September 14-17, 1999, Proceedings

⭐ 0.0 rating

| 📖 0 saved | ✅ 0 verified

Author: Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery
ISBN 13: 9783540664635
ISBN 10: 3540664637
Publication Year: 2001
Language: English

Index-103540664637

LanguageEnglish

Index-139783540664635

Period-

Class Track-

Publisher- (2001)

Pages-

✨ Readers also enjoyed...