Proceedings of the IV higher order workshop, Banff, Alberta, Canada, 10-14 Sept., 1990 / edited by Birtwistle Graham
Higher order workshop (4th : 1990 : Alberta, Canada)
Proceedings of the IV higher order workshop, Banff, Alberta, Canada, 10-14 Sept., 1990 / edited by Birtwistle Graham - - London : Springer-Verlag, 1991 1991 - x,283 p. 23.5 cm - .
0-387-19660-90
Automatic theorem proving-Congresses
Programming languages (Electronic computers)-Congresses
Parallel processing (Electronic computers)-Congresses
681.327.8 Hig:4:90
Proceedings of the IV higher order workshop, Banff, Alberta, Canada, 10-14 Sept., 1990 / edited by Birtwistle Graham - - London : Springer-Verlag, 1991 1991 - x,283 p. 23.5 cm - .
0-387-19660-90
Automatic theorem proving-Congresses
Programming languages (Electronic computers)-Congresses
Parallel processing (Electronic computers)-Congresses
681.327.8 Hig:4:90