RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings
Author(s)
Bibliographic Information
RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings
（Lecture notes in computer science, 147）
Springer-Verlag, 1983
- : gw
- : us
Available at / 61 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||1472928367
-
University of Tsukuba Library, Library on Library and Information Science
: Germany007.08:L-49:147881003700,831031600
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references
Description and Table of Contents
Table of Contents
Partial computation of programs.- Treatment of big values in an applicative language HFP.- Toward the design and implementation of object oriented architecture.- DURAL: an extended Prolog language.- An algorithm for intelligent backtracking.- A pattern matching algorithm in binary trees.- Polynomial time inference of extended regular pattern languages.- Effects of practical assumption in area complexity of VLSI computation.- Hardware algorithms and logic design automation.- List processing with a data flow machine.- Relational algebra machine GRACE.- Vocabulary building for database queries.
by "Nielsen BookData"
