Ivth Higher Order Workshop, Banff 1990 (Workshops in Computing)
Publisher: Springer Verlag
Published: August 1991
Format: Paperback
Number of pages: 295
ISBN-13: 9783540196600
Subjects: Automatic theorem proving; Congresses; Parallel processing (Electroni; Programming languages (Electro