{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:27:12Z","timestamp":1725488832885},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540438656"},{"type":"electronic","value":"9783540454700"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45470-5_9","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T02:38:36Z","timestamp":1186886316000},"page":"64-75","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic"],"prefix":"10.1007","author":[{"given":"Elena","family":"Smirnova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,21]]},"reference":[{"key":"9_CR1","volume-title":"Logic and Computer","author":"A.S. Karpenko","year":"1997","unstructured":"A.S. Karpenko, Multivalued logics. Logic and Computer. Issue 4, Moscow, Nauka, 1997."},{"key":"9_CR2","unstructured":"Kossovski N.K., Tishkov A.V. Logical theory of Post Logic with linear order. TR-98-11, Department of Informatics University Paris-12. 9p."},{"key":"9_CR3","first-page":"135","volume":"241","author":"N. Kossovski","year":"1996","unstructured":"N. Kossovski, A. Tishkov. Gradable Logical Values For Knowledge Representation. Notes of Scientific Seminars vol. 241 pp 135\u2013149 St.Petersburg University 1996.","journal-title":"Notes of Scientific Seminars"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R. Tarjan","year":"1972","unstructured":"R. Tarjan, Depth First Search and Linear Graph Algorithms, SIAM J. Computing 1 (1972), 146\u2013160","journal-title":"SIAM J. Computing"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"R. Tarjan, Data Structures and Network Algorithms, SIAM Philadelphia,(1983) 71\u201395","DOI":"10.1137\/1.9781611970265"},{"key":"9_CR6","unstructured":"Gerberding S. Deep Thought. University of Darmstadt, Dept. of Computer Science, 1996."},{"key":"9_CR7","unstructured":"Lowerence C. Paulson. Designing a theorem Prover. Oxford, 1995. pp. 416\u2013476."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Michael J. Panik. Linear Programming: Mathematics, Theory and Algorithms. Kluwer Academic Publishers, 1996. pp.125\u2013139.","DOI":"10.1007\/978-1-4613-3434-7"},{"key":"9_CR9","first-page":"191","volume":"20","author":"L.G. Hachiyan","year":"1979","unstructured":"L.G. Hachiyan, A polinomial algorithm in linear programming, Soviet Mathematics Doclady 20,(1979), pp. 191\u2013194.","journal-title":"Soviet Mathematics Doclady"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Jorge Nocedal, Stephen J. Wright. Numerical Optimization, Springer, 1999.","DOI":"10.1007\/b98874"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence, Automated Reasoning, and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45470-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:23:40Z","timestamp":1558261420000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45470-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540438656","9783540454700"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-45470-5_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"21 June 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}