{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:49:50Z","timestamp":1725662990475},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164791"},{"type":"electronic","value":"9783540398202"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16479-0_1","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:44:12Z","timestamp":1330195452000},"page":"1-12","source":"Crossref","is-referenced-by-count":3,"title":["Architecture and evaluation of a Reduction-based Parallel Inference Machine : PIM-R"],"prefix":"10.1007","author":[{"given":"Rikio","family":"Onai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hajime","family":"Shimizu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kanae","family":"Masuda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akira","family":"Matsumoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moritoshi","family":"Aso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"1_CR1","series-title":"Research Report","volume-title":"PARLOG:Parallel Programming in Logic","author":"KL Clark","year":"1984","unstructured":"Clark KL, Gregory S (1984) PARLOG:Parallel Programming in Logic, Research Report DOC 84\/4, Dept. of Computing, Imperial College, London"},{"key":"1_CR2","unstructured":"INMOS Limited (1984) Occam Programming Manual, Prentice-Hall International Series in Computer Science"},{"key":"1_CR3","unstructured":"Ito N, Masuda K (1984) Parallel Inference Machine Based on the Data Flow Model, Proc. of the International Workshop on High Level Computer Architecture 84, Los Angeles"},{"key":"1_CR4","unstructured":"Moto-oka T, Tanaka H, et al (1984) The Architecture of a Parallel Inference Engine-PIE-, Proc. of Int. Conf. on Fifth Generation Computer Systems 1984, ICOT, Tokyo"},{"key":"1_CR5","unstructured":"Onai R, Shimizu H, Masuda K, Aso M (1984) Analysis of Sequential Prolog Programs, ICOT TR-048"},{"key":"1_CR6","first-page":"197","volume-title":"Architecture of a Reduction-based Parallel Inference Machine:PIM-R, New Generation Computing, vol 3\/2","author":"R Onai","year":"1985","unstructured":"Onai R, Aso M, Shimizu H, Masuda K, Matsumoto A (1985) Architecture of a Reduction-based Parallel Inference Machine:PIM-R, New Generation Computing, vol 3\/2, Ohmsha, Springer-Verlag, p 197\u2013228"},{"key":"1_CR7","volume-title":"DELTA-PROLOG: A Distributed Logic Language, Proc. of Int. Conf. on Fifth Generation Computer Systems 1984","author":"LM Pereira","year":"1984","unstructured":"Pereira LM, Nasr R (1984) DELTA-PROLOG: A Distributed Logic Language, Proc. of Int. Conf. on Fifth Generation Computer Systems 1984, ICOT, Tokyo"},{"key":"1_CR8","unstructured":"Shapiro EY (1983) A subset of Concurrent Prolog and Its Interpreter, ICOT TR-003"},{"key":"1_CR9","unstructured":"Sugie M, et.al. (1985) Hardware Simulator Implementation of PIM-R, Logic Programming Conference '85, Tokyo"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Ueda K (1985) Guarded Horn Clauses, ICOT TR-103","DOI":"10.1007\/3-540-16479-0_17"}],"container-title":["Lecture Notes in Computer Science","Logic Programming '85"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16479-0_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T01:44:29Z","timestamp":1640915069000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16479-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164791","9783540398202"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-16479-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}