{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:21:15Z","timestamp":1759638075875},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540005315"},{"type":"electronic","value":"9783540364405"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36440-4_14","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T22:11:33Z","timestamp":1186438293000},"page":"156-167","source":"Crossref","is-referenced-by-count":5,"title":["DNA Implementation of Theorem Proving with Resolution Refutation in Propositional Logic"],"prefix":"10.1007","author":[{"given":"In-Hee","family":"Lee","sequence":"first","affiliation":[]},{"given":"Ji-Yoon","family":"Park","sequence":"additional","affiliation":[]},{"given":"Hae-Man","family":"Jang","sequence":"additional","affiliation":[]},{"given":"Young-Gyu","family":"Chai","sequence":"additional","affiliation":[]},{"given":"Byoung-Tak","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,1,16]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1126\/science.7973651","volume":"266","author":"L. Adleman","year":"1994","unstructured":"Adleman, L., Molecular computation of solutions to combinatorial problems, Science, 266:1021\u20131024, 1994.","journal-title":"Science"},{"key":"14_CR2","unstructured":"Fitting, M., First-Order Logic and Automated Theorem Proving, Springer-Verlag New York Inc., 1942."},{"key":"14_CR3","unstructured":"Hagiya, M., Arita, M., Kiga, D., Sakamoto, K., and Yokoyama, S., Towards parallel evaluation and learning of Boolean \u03bc-formulas with molecules, Preliminary Proceedings of the Third DIMACS Workshop on DNA Based Computers, 105\u2013114, 1997."},{"key":"14_CR4","series-title":"Lect Notes Comput Sci","volume-title":"From molecular computing to molecular programming","author":"M. Hagiya","year":"2001","unstructured":"Hagiya, M., From molecular computing to molecular programming, Lecture Notes in Computer Science, 2001."},{"key":"14_CR5","unstructured":"Hasegawa, R., Parallel theorem-proving system: MGTP, Proceedings of Fifth Generation Computer System, 1994."},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1023\/A:1009893911892","volume":"3","author":"S. Kobayashi","year":"1999","unstructured":"Kobayashi, S., Horn clause computation with DNA molecules, Journal of Combinatorial Optimization, 3:277\u2013299, 1999.","journal-title":"Journal of Combinatorial Optimization"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1126\/science.7725098","volume":"268","author":"R.J. Lipton","year":"1995","unstructured":"Lipton, R.J., DNA solution of hard computational problem, Science, 268:542\u2013545, 1995.","journal-title":"Science"},{"key":"14_CR8","unstructured":"Luger, G.F. and Stubblefield, W.A., Artificial Intelligence: Structures and Strategies for Complex Problem Solving, 2nd Ed., Benjamin\/Cummings, 1993."},{"key":"14_CR9","unstructured":"Lusk, E.L. and McCune, W.W., High-performance parallel theorem proving for shared-memory multiprocessors, http:\/\/wwwfp.mcs.anl.gov\/~lusk\/papers\/roo\/paper.html , 1998."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Mihalache, V., Prolog approach to DNA computing, Proceedings of the IEEE International Conference on Evolutionary Computation, IEEE Press, 249\u2013254, 1997.","DOI":"10.1109\/ICEC.1997.592304"},{"key":"14_CR11","unstructured":"Nilsson, N.J., Aritificial Intelligence: A New Systhesis, Morgan Kaufman Publishers Inc., 1998."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Sa-Ardyen, P., Jonoska, N., and Seeman, N.C., Self-assembling DNA Graphs, Preliminary Proceedings of the Eighth International Meeting on DNA Based Computers, 20\u201328, 2002.","DOI":"10.1007\/3-540-36440-4_1"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"1223","DOI":"10.1126\/science.288.5469.1223","volume":"288","author":"K. Sakamoto","year":"2000","unstructured":"Sakamoto, K., Gouzu, H., Komiya, K., Kiga, D., Yokoyama, S., Yokomori, T., and Hagiya, M., Molecular computation by DNA hairpin formation, Science, 288:1223\u20131226, 2000.","journal-title":"Science"},{"key":"14_CR14","unstructured":"Shin, S.-Y., Kim, D., Lee, I.-H., and Zhang, B.-T., Evolutionary sequence generation for reliable DNA computing, 2002 IEEE World Congress on Evolutionary Computation, 2002 (accepted)."},{"issue":"2","key":"14_CR15","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1023\/A:1005868304990","volume":"18","author":"C. Suttner","year":"1997","unstructured":"Suttner, C., SPTHEO-A parallel theorem prover, Journal of Automated Reasoning, 18(2):253\u2013258, 1997.","journal-title":"Journal of Automated Reasoning"},{"key":"14_CR16","unstructured":"Uejima, H., Hagiya, M., and Kobayashi, S., Horn clause computation by selfassembly of DNA molecules, Preliminary Proceedings of the Seventh International Meeting on DNA Based Computers, 63\u201371, 2001."},{"issue":"3","key":"14_CR17","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1080\/019697200124829","volume":"31","author":"P. Wasiewicz","year":"2000","unstructured":"Wasiewicz, P., Janczak, T., Mulawka, J.J., and Plucienniczak, A., The inference based on molecular computing, International Journal of Cybernetics and Systems, 31(3):283\u2013315, 2000.","journal-title":"International Journal of Cybernetics and Systems"},{"key":"14_CR18","unstructured":"Winfree, E., Algorithmic self-assembly of DNA, Ph.D. Thesis, California Institute of Technology, 1998."}],"container-title":["Lecture Notes in Computer Science","DNA Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36440-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T15:55:33Z","timestamp":1556726133000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36440-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540005315","9783540364405"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-36440-4_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}