Lecture Notes in Computer Science: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Bertot, Yves; Dowek, Gilles; Hirschowitz, Andre; Paulin, Christine; Thery, Laurent

Details

Published by: Springer

Publication Date: 1999-09-01

Format: Paperback

ISBN-13: 9783540664635

DOI: 10.1007/3-540-48256-3

Dimensions: 233cm x155cm

Pages: 364