Proceedings of the IV higher order workshop, Banff, Alberta, Canada, 10-14 Sept., 1990 / edited by Birtwistle Graham

By: Higher order workshop (4th : 1990 : Alberta, Canada)Contributor(s): Language: English Series: Publication details: ; London : Springer-Verlag, 1991 ; 1991Edition: Description: x,283 p; 23.5 cmISBN: 0-387-19660-90Subject(s): | Automatic theorem proving-Congresses | Programming languages (Electronic computers)-Congresses | Parallel processing (Electronic computers)-Congresses
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books Books Central Library, IITB
Compact Storage - Basement Area 		681.327.8 Hig:4:90 Available C20A04 163617
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha