Proceedings of the ...

RecordNumber
23268
Author
Higher order workshop, 4th, Banff, Alberta, 1990
Title
Proceedings of the ...
Publication
Springer
Publication Year
[c1991]
Collation
x, 283 p
Series
Workshop in computing
Subject
Parallel processing (Electronic computers)- Congresses , Programming languages (Electronic computers)- Congress , Automatic theorem proving- Congresses
ADDED ENTRIES
Birtwistle, Graham, ed
Main Class
004
Sub Class
.35
Cutter no
H638p
Date
1990
وارد كنندة اطلاعات
soltani^d//
Link To Document :
https://lib.ui.ac.ir/dL/search/default.aspx?Term=23268&Field=0&DTC=2

Higher order workshop, 4th, Banff, Alberta, 1990