청구기호 |
QA76.6 .C644p 1987 |
형태사항 |
xiv, 146 p. : ill. ; 25 cm.
|
언어 |
English |
일반주기 |
Revision of the author's thesis (Ph. D.--University of Oregon) originally presented under the title: The AND/OR process model for parallel interpretation of logic programs.
Includes index.
|
서지주기 |
Bibliography: p. [133]-141.
|
주제 |
Logic programming.
Parallel processing (Electronic computers)
Computer systems Parallel programming Applications of mathematical logic
|
LCCN |
86027838
|
ISBN |
0898381940
|