Search Results for - Narrowed by: 2008 - Artificial Intelligence (incl. Robotics). - Mathematical Logic and Formal Languages.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dPUBDATE$002509Publication$002bDate$0025092008$0025092008$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bIntelligence$002b$002528incl.$002bRobotics$002529.$002509Artificial$002bIntelligence$002b$002528incl.$002bRobotics$002529.$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026ps$003d300?2024-09-25T23:05:26ZArtificial Intelligence and Soft Computing – ICAISC 2008 9th International Conference Zakopane, Poland, June 22-26, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5027652024-09-25T23:05:26Z2024-09-25T23:05:26Zby Rutkowski, Leszek. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69731-2">http://dx.doi.org/10.1007/978-3-540-69731-2</a><br/>Format: Electronic Resources<br/>KI 2008: Advances in Artificial Intelligence 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036582024-09-25T23:05:26Z2024-09-25T23:05:26Zby Dengel, Andreas R. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85845-4">http://dx.doi.org/10.1007/978-3-540-85845-4</a><br/>Format: Electronic Resources<br/>Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036962024-09-25T23:05:26Z2024-09-25T23:05:26Zby Kaminski, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87531-4">http://dx.doi.org/10.1007/978-3-540-87531-4</a><br/>Format: Electronic Resources<br/>Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5028222024-09-25T23:05:26Z2024-09-25T23:05:26Zby Eklund, Peter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70596-3">http://dx.doi.org/10.1007/978-3-540-70596-3</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5036682024-09-25T23:05:26Z2024-09-25T23:05:26Zby Železný, Filip. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85928-4">http://dx.doi.org/10.1007/978-3-540-85928-4</a><br/>Format: Electronic Resources<br/>Probabilistic Inductive Logic Programming Theory and Applicationsent://SD_ILS/0/SD_ILS:5034092024-09-25T23:05:26Z2024-09-25T23:05:26Zby Raedt, Luc. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78652-8">http://dx.doi.org/10.1007/978-3-540-78652-8</a><br/>Format: Electronic Resources<br/>Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037202024-09-25T23:05:26Z2024-09-25T23:05:26Zby Hölldobler, Steffen. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87803-2">http://dx.doi.org/10.1007/978-3-540-87803-2</a><br/>Format: Electronic Resources<br/>Modeling Decisions for Artificial Intelligence 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037462024-09-25T23:05:26Z2024-09-25T23:05:26Zby Torra, Vicenç. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88269-5">http://dx.doi.org/10.1007/978-3-540-88269-5</a><br/>Format: Electronic Resources<br/>Algorithms in Invariant Theoryent://SD_ILS/0/SD_ILS:5025692024-09-25T23:05:26Z2024-09-25T23:05:26Zby 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-09-25T23:05:26Z2024-09-25T23:05:26Zby 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/>Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5027982024-09-25T23:05:26Z2024-09-25T23:05:26Zby Meyden, Ron. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70525-3">http://dx.doi.org/10.1007/978-3-540-70525-3</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-09-25T23:05:26Z2024-09-25T23:05:26Zby 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/>Transactions on Rough Sets VIIIent://SD_ILS/0/SD_ILS:5035792024-09-25T23:05:26Z2024-09-25T23:05:26Zby Peters, James F. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85064-9">http://dx.doi.org/10.1007/978-3-540-85064-9</a><br/>Format: Electronic Resources<br/>Computational Linguistics and Intelligent Text Processing 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5033272024-09-25T23:05:26Z2024-09-25T23:05:26Zby Gelbukh, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78135-6">http://dx.doi.org/10.1007/978-3-540-78135-6</a><br/>Format: Electronic Resources<br/>Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5033282024-09-25T23:05:26Z2024-09-25T23:05:26Zby Medina, Raoul. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78137-0">http://dx.doi.org/10.1007/978-3-540-78137-0</a><br/>Format: Electronic Resources<br/>Constraint Handling Rules Current Research Topicsent://SD_ILS/0/SD_ILS:5038602024-09-25T23:05:26Z2024-09-25T23:05:26Zby Schrijvers, Tom. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-92243-8">http://dx.doi.org/10.1007/978-3-540-92243-8</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5034272024-09-25T23:05:26Z2024-09-25T23:05:26Zby King, Andy. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78769-3">http://dx.doi.org/10.1007/978-3-540-78769-3</a><br/>Format: Electronic Resources<br/>Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034312024-09-25T23:05:26Z2024-09-25T23:05:26Zby Hendren, Laurie. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78791-4">http://dx.doi.org/10.1007/978-3-540-78791-4</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-09-25T23:05:26Z2024-09-25T23:05:26Zby 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/>Transactions on Rough Sets IXent://SD_ILS/0/SD_ILS:5038402024-09-25T23:05:26Z2024-09-25T23:05:26Zby Peters, James F. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89876-4">http://dx.doi.org/10.1007/978-3-540-89876-4</a><br/>Format: Electronic Resources<br/>Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5036942024-09-25T23:05:26Z2024-09-25T23:05:26Zby Daelemans, Walter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87481-2">http://dx.doi.org/10.1007/978-3-540-87481-2</a><br/>Format: Electronic Resources<br/>Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037232024-09-25T23:05:26Z2024-09-25T23:05:26Zby Shankar, Natarajan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87873-5">http://dx.doi.org/10.1007/978-3-540-87873-5</a><br/>Format: Electronic Resources<br/>Advances in Case-Based Reasoning 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036312024-09-25T23:05:26Z2024-09-25T23:05:26Zby Althoff, Klaus-Dieter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85502-6">http://dx.doi.org/10.1007/978-3-540-85502-6</a><br/>Format: Electronic Resources<br/>Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5028572024-09-25T23:05:26Z2024-09-25T23:05:26Zby Armando, Alessandro. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71070-7">http://dx.doi.org/10.1007/978-3-540-71070-7</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5033732024-09-25T23:05:26Z2024-09-25T23:05:26Zby Blockeel, Hendrik. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78469-2">http://dx.doi.org/10.1007/978-3-540-78469-2</a><br/>Format: Electronic Resources<br/>Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5028562024-09-25T23:05:26Z2024-09-25T23:05:26Zby Mohamed, Otmane Ait. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71067-7">http://dx.doi.org/10.1007/978-3-540-71067-7</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-09-25T23:05:26Z2024-09-25T23:05:26Zby 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/>MICAI 2008: Advances in Artificial Intelligence 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5037682024-09-25T23:05:26Z2024-09-25T23:05:26Zby Gelbukh, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88636-5">http://dx.doi.org/10.1007/978-3-540-88636-5</a><br/>Format: Electronic Resources<br/>Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5037822024-09-25T23:05:26Z2024-09-25T23:05:26Zby Sadri, Fariba. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88833-8">http://dx.doi.org/10.1007/978-3-540-88833-8</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034562024-09-25T23:05:26Z2024-09-25T23:05:26Zby Garrigue, Jacques. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78969-7">http://dx.doi.org/10.1007/978-3-540-78969-7</a><br/>Format: Electronic Resources<br/>Advances in Natural Language Processing 6th International Conference, GoTAL 2008 Gothenburg, Sweden, August 25-27, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5036162024-09-25T23:05:26Z2024-09-25T23:05:26Zby Nordström, Bengt. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85287-2">http://dx.doi.org/10.1007/978-3-540-85287-2</a><br/>Format: Electronic Resources<br/>Natural Language and Information Systems 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5027822024-09-25T23:05:26Z2024-09-25T23:05:26Zby Kapetanios, Epaminondas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69858-6">http://dx.doi.org/10.1007/978-3-540-69858-6</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-09-25T23:05:26Z2024-09-25T23:05:26Zby 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/>Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5027902024-09-25T23:05:26Z2024-09-25T23:05:26Zby Hodges, Wilfrid. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69937-8">http://dx.doi.org/10.1007/978-3-540-69937-8</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5028042024-09-25T23:05:26Z2024-09-25T23:05:26Zby Gupta, Aarti. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70545-1">http://dx.doi.org/10.1007/978-3-540-70545-1</a><br/>Format: Electronic Resources<br/>Decision Procedures An Algorithmic Point of Viewent://SD_ILS/0/SD_ILS:5029902024-09-25T23:05:26Z2024-09-25T23:05:26Zby Kroening, Daniel. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74105-3">http://dx.doi.org/10.1007/978-3-540-74105-3</a><br/>Format: Electronic Resources<br/>Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036722024-09-25T23:05:26Z2024-09-25T23:05:26Zby Stuckey, Peter J. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85958-1">http://dx.doi.org/10.1007/978-3-540-85958-1</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-09-25T23:05:26Z2024-09-25T23:05:26Zby 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/>Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5036742024-09-25T23:05:26Z2024-09-25T23:05:26Zby Huang, De-Shuang. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85984-0">http://dx.doi.org/10.1007/978-3-540-85984-0</a><br/>Format: Electronic Resources<br/>Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5036932024-09-25T23:05:26Z2024-09-25T23:05:26Zby Daelemans, Walter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87479-9">http://dx.doi.org/10.1007/978-3-540-87479-9</a><br/>Format: Electronic Resources<br/>Scalable Uncertainty Management Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037342024-09-25T23:05:26Z2024-09-25T23:05:26Zby Greco, Sergio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87993-0">http://dx.doi.org/10.1007/978-3-540-87993-0</a><br/>Format: Electronic Resources<br/>Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5037352024-09-25T23:05:26Z2024-09-25T23:05:26Zby Clark, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88009-7">http://dx.doi.org/10.1007/978-3-540-88009-7</a><br/>Format: Electronic Resources<br/>Learning Classifier Systems 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5037392024-09-25T23:05:26Z2024-09-25T23:05:26Zby Bacardit, Jaume. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88138-4">http://dx.doi.org/10.1007/978-3-540-88138-4</a><br/>Format: Electronic Resources<br/>Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037422024-09-25T23:05:26Z2024-09-25T23:05:26Zby Zaverucha, Gerson. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88190-2">http://dx.doi.org/10.1007/978-3-540-88190-2</a><br/>Format: Electronic Resources<br/>AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5038082024-09-25T23:05:26Z2024-09-25T23:05:26Zby Wobcke, Wayne. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89378-3">http://dx.doi.org/10.1007/978-3-540-89378-3</a><br/>Format: Electronic Resources<br/>Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5038122024-09-25T23:05:26Z2024-09-25T23:05:26Zby Cervesato, Iliano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89439-1">http://dx.doi.org/10.1007/978-3-540-89439-1</a><br/>Format: Electronic Resources<br/>Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5035502024-09-25T23:05:26Z2024-09-25T23:05:26Zby Kleine Büning, Hans. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79719-7">http://dx.doi.org/10.1007/978-3-540-79719-7</a><br/>Format: Electronic Resources<br/>Rough Sets and Current Trends in Computing 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23-25, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5037552024-09-25T23:05:26Z2024-09-25T23:05:26Zby Chan, Chien-Chung. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88425-5">http://dx.doi.org/10.1007/978-3-540-88425-5</a><br/>Format: Electronic Resources<br/>Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papersent://SD_ILS/0/SD_ILS:5038372024-09-25T23:05:26Z2024-09-25T23:05:26Zby Fages, François. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89812-2">http://dx.doi.org/10.1007/978-3-540-89812-2</a><br/>Format: Electronic Resources<br/>Rough Sets and Knowledge Technology Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5035512024-09-25T23:05:26Z2024-09-25T23:05:26Zby Wang, Guoyin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79721-0">http://dx.doi.org/10.1007/978-3-540-79721-0</a><br/>Format: Electronic Resources<br/>Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedingsent://SD_ILS/0/SD_ILS:5038472024-09-25T23:05:26Z2024-09-25T23:05:26Zby Garcia de la Banda, Maria. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89982-2">http://dx.doi.org/10.1007/978-3-540-89982-2</a><br/>Format: Electronic Resources<br/>