Search Results for - Narrowed by: Artificial intelligence. - Symbolic and Algebraic Manipulation.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Symbolic$002band$002bAlgebraic$002bManipulation.$002509Symbolic$002band$002bAlgebraic$002bManipulation.$0026ps$003d300?2024-05-30T13:05:15ZLanguage and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859472024-05-30T13:05:15Z2024-05-30T13:05:15Zby Dediu, Adrian-Horia. editor.<br/><a href="https://doi.org/10.1007/978-3-319-30000-9">https://doi.org/10.1007/978-3-319-30000-9</a><br/>Format: Electronic Resources<br/>Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20858092024-05-30T13:05:15Z2024-05-30T13:05:15Zby Väänänen, Jouko. editor.<br/><a href="https://doi.org/10.1007/978-3-662-52921-8">https://doi.org/10.1007/978-3-662-52921-8</a><br/>Format: Electronic Resources<br/>Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedingsent://SD_ILS/0/SD_ILS:20861292024-05-30T13:05:15Z2024-05-30T13:05:15Zby Foret, Annie. editor.<br/><a href="https://doi.org/10.1007/978-3-662-53042-9">https://doi.org/10.1007/978-3-662-53042-9</a><br/>Format: Electronic Resources<br/>Dynamic Brain - from Neural Spikes to Behaviors 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lecturesent://SD_ILS/0/SD_ILS:5037832024-05-30T13:05:15Z2024-05-30T13:05:15Zby Marinaro, Maria. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88853-6">http://dx.doi.org/10.1007/978-3-540-88853-6</a><br/>Format: Electronic Resources<br/>Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5035922024-05-30T13:05:15Z2024-05-30T13:05:15Zby Autexier, Serge. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85110-3">http://dx.doi.org/10.1007/978-3-540-85110-3</a><br/>Format: Electronic Resources<br/>Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034472024-05-30T13:05:15Z2024-05-30T13:05:15Zby Berghammer, Rudolf. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78913-0">http://dx.doi.org/10.1007/978-3-540-78913-0</a><br/>Format: Electronic Resources<br/>Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papersent://SD_ILS/0/SD_ILS:5037222024-05-30T13:05:15Z2024-05-30T13:05:15Zby Kapur, Deepak. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87827-8">http://dx.doi.org/10.1007/978-3-540-87827-8</a><br/>Format: Electronic Resources<br/>Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5028192024-05-30T13:05:15Z2024-05-30T13:05:15Zby Voronkov, Andrei. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70590-1">http://dx.doi.org/10.1007/978-3-540-70590-1</a><br/>Format: Electronic Resources<br/>Algorithms in Invariant Theoryent://SD_ILS/0/SD_ILS:5025692024-05-30T13:05:15Z2024-05-30T13:05:15Zby Sturmfels, Bernd. author.<br/><a href="http://dx.doi.org/10.1007/978-3-211-77417-5">http://dx.doi.org/10.1007/978-3-211-77417-5</a><br/>Format: Electronic Resources<br/>Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:5026672024-05-30T13:05:15Z2024-05-30T13:05:15Zby Degano, Pierpaolo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68679-8">http://dx.doi.org/10.1007/978-3-540-68679-8</a><br/>Format: Electronic Resources<br/>Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papersent://SD_ILS/0/SD_ILS:5026152024-05-30T13:05:15Z2024-05-30T13:05:15Zby Miculan, Marino. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68103-8">http://dx.doi.org/10.1007/978-3-540-68103-8</a><br/>Format: Electronic Resources<br/>Computational Processing of the Portuguese Language 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5036732024-05-30T13:05:15Z2024-05-30T13:05:15Zby Teixeira, António. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85980-2">http://dx.doi.org/10.1007/978-3-540-85980-2</a><br/>Format: Electronic Resources<br/>Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5035652024-05-30T13:05:15Z2024-05-30T13:05:15Zby Meseguer, José. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79980-1">http://dx.doi.org/10.1007/978-3-540-79980-1</a><br/>Format: Electronic Resources<br/>Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126732024-05-30T13:05:15Z2024-05-30T13:05:15Zby Baader, Franz. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73449-9">http://dx.doi.org/10.1007/978-3-540-73449-9</a><br/>Format: Electronic Resources<br/>Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5127942024-05-30T13:05:15Z2024-05-30T13:05:15Zby Altenkirch, Thorsten. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74464-1">http://dx.doi.org/10.1007/978-3-540-74464-1</a><br/>Format: Electronic Resources<br/>Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedingsent://SD_ILS/0/SD_ILS:5114292024-05-30T13:05:15Z2024-05-30T13:05:15Zby Pfenning, Frank. editor.<br/><a href="http://dx.doi.org/10.1007/11805618">http://dx.doi.org/10.1007/11805618</a><br/>Format: Electronic Resources<br/>Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5099212024-05-30T13:05:15Z2024-05-30T13:05:15Zby Filliâtre, Jean-Christophe. editor.<br/><a href="http://dx.doi.org/10.1007/11617990">http://dx.doi.org/10.1007/11617990</a><br/>Format: Electronic Resources<br/>Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedingsent://SD_ILS/0/SD_ILS:5116532024-05-30T13:05:15Z2024-05-30T13:05:15Zby Calmet, Jacques. editor.<br/><a href="http://dx.doi.org/10.1007/11856290">http://dx.doi.org/10.1007/11856290</a><br/>Format: Electronic Resources<br/>Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5113012024-05-30T13:05:15Z2024-05-30T13:05:15Zby Johnson, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/11784180">http://dx.doi.org/10.1007/11784180</a><br/>Format: Electronic Resources<br/>OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundyent://SD_ILS/0/SD_ILS:5115802024-05-30T13:05:15Z2024-05-30T13:05:15Zby Kohlhase, Michael. author.<br/><a href="http://dx.doi.org/10.1007/11826095">http://dx.doi.org/10.1007/11826095</a><br/>Format: Electronic Resources<br/>Theory and Applications of Relational Structures as Knowledge Instruments II International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papersent://SD_ILS/0/SD_ILS:5121442024-05-30T13:05:15Z2024-05-30T13:05:15Zby Swart, Harrie. editor.<br/><a href="http://dx.doi.org/10.1007/11964810">http://dx.doi.org/10.1007/11964810</a><br/>Format: Electronic Resources<br/>Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5115762024-05-30T13:05:15Z2024-05-30T13:05:15Zby Schmidt, Renate A. editor.<br/><a href="http://dx.doi.org/10.1007/11828563">http://dx.doi.org/10.1007/11828563</a><br/>Format: Electronic Resources<br/>Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papersent://SD_ILS/0/SD_ILS:5109122024-05-30T13:05:15Z2024-05-30T13:05:15Zby MacCaull, Wendy. editor.<br/><a href="http://dx.doi.org/10.1007/11734673">http://dx.doi.org/10.1007/11734673</a><br/>Format: Electronic Resources<br/>Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103962024-05-30T13:05:15Z2024-05-30T13:05:15Zby Giesl, Jürgen. editor.<br/><a href="http://dx.doi.org/10.1007/b135673">http://dx.doi.org/10.1007/b135673</a><br/>Format: Electronic Resources<br/>Cognitive Engineering A Distributed Approach to Machine Intelligenceent://SD_ILS/0/SD_ILS:5084642024-05-30T13:05:15Z2024-05-30T13:05:15Zby Konar, Amit. author.<br/><a href="http://dx.doi.org/10.1007/1-84628-234-9">http://dx.doi.org/10.1007/1-84628-234-9</a><br/>Format: Electronic Resources<br/>