Shelfclass_id |
3.F.4 |
Sortkey |
PSC |
Authors |
Robert H. Halstead, Takayasu Ito |
Title |
PSC 1992: Parallel Symbolic Computing: Languages, Systems, and Applications: US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992, Proceedings |
Publisher |
Springer-Verlag |
Year |
cop. 1993 |
Languages |
eng |
Isbn |
3540573968 |
Series |
Lecture Notes in Computer Science |
Volume |
748 |
Issn |
0302-9743 |
Description |
x, 417 p. ill., tab. |
Record date |
20090911 |
Location |
New York |
Keywords |
Parallel symbolic computing, Speculative computation, Implementation techniques, Program development tools, Conceptual models, Parallel inference systems, Matematisk logik (Parallellbearbetning) (Datorer), Mathematical logic (Parallel processing) (Computers), Konferenspublikationer, Conference proceedings |