Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Format: paperback
ISBN:
9783540664635 (3540664637)
Publish date: September 1st 1999
Publisher: Springer
Pages no: 364
Edition language: English