{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:12Z","timestamp":1725455952774},"publisher-location":"Berlin\/Heidelberg","reference-count":10,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540541314"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019353","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:26:33Z","timestamp":1132637193000},"page":"1-17","source":"Crossref","is-referenced-by-count":1,"title":["The programming system PRIZ"],"prefix":"10.1007","author":[{"given":"G.","family":"Mints","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Tyugu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","first-page":"36","volume":"N5","author":"A. Dikovski","year":"1985","unstructured":"Dikovski, A., Kanovich, M. (1985). Computational models with separable problems. Cybernetics (Technicheskaya Kibernetika) N5, 36\u201359 (In Russian).","journal-title":"Cybernetics"},{"key":"1_CR2","unstructured":"Howard, P. (1980). The formulae-as-types notion of construction. In: To H. B. Curry. Essays on logic, lambda calculus and formalism. Pp. 479\u2013490."},{"key":"1_CR3","volume-title":"Instrumental Programming System ES EVM (PRIZ)","author":"M. Kahro","year":"1981","unstructured":"Kahro, M., Kalja, A., Tyugu, E. (1981). Instrumental Programming System ES EVM (PRIZ). Moscow: Finansy i Statistika (in Russian)."},{"key":"1_CR4","volume-title":"Introduction to Metamathematics","author":"S. Kleene","year":"1952","unstructured":"Kleene, S. (1952). Introduction to Metamathematics. Amsterdam: North-Holland."},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/0167-6423(83)90016-3","volume":"N2","author":"G. Mints","year":"1982","unstructured":"Mints, G., Tyugu, E. (1982). Justification of the structural synthesis of programs. Science Comput. Prog.\nN2, 215\u2013240.","journal-title":"Science Comput. Prog."},{"issue":"2","key":"1_CR6","first-page":"147","volume":"33","author":"G. Mints","year":"1984","unstructured":"Mints, G. (1984). Structural synthesis with independent subtasks and modal logic S4. Eesti NSV TA Toimetised (Proc. of the Estonian Academy of Sci). Mathem., 33, N2, 147\u2013151.","journal-title":"Mathem."},{"key":"1_CR7","first-page":"50","volume":"N1","author":"J. Penyam","year":"1983","unstructured":"Penyam, J. (1983). Synthesis of semantic processors from attribute grammars. System Programming Comput. Software\nN1, 50\u201360.","journal-title":"System Programming Comput. Software"},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1109\/TSE.1983.236736","volume":"N3","author":"N. S. Prywes","year":"1983","unstructured":"Prywes, N. S., Pnueli, A. (1983). Compilation of Nonprocedural Specifications into computer programs. Software Engineering\nN3, 267\u2013279.","journal-title":"Software Engineering"},{"key":"1_CR9","volume-title":"Knowledge based programming","author":"E. Tyugu","year":"1987","unstructured":"Tyugu, E. (1987). Knowledge based programming. New York: Addison-Wesley."},{"key":"1_CR10","first-page":"63","volume":"N6","author":"B. Voloz","year":"1982","unstructured":"Voloz, B., Matskin, M., Mints, G., Tyugu, E. (1982). Theorem proving with the aid of program synthesizer. Cybernetics\nN6, 63\u201370.","journal-title":"Cybernetics"}],"container-title":["Lecture Notes in Computer Science","Baltic Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019353.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:42:12Z","timestamp":1607550132000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019353"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540541314"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0019353","relation":{},"subject":[]}}