Lecture Notes in Computer Science: Theorem Proving Techniques and P-Functions

Snyers, Dominique; Thayse, Andre

Details

Published by: Springer

Publication Date: 1987-08-12

Format: Paperback

ISBN-13: 9783540182177

DOI: 10.1007/3-540-18217-9

Dimensions: 233cm x155cm

Pages: 125