Search Results for - Narrowed by: 2007 - Mathematical Logic and Formal Languages. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dPUBDATE$002509Publication$002bDate$0025092007$0025092007$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026ps$003d300? 2024-06-15T17:09:49Z Natural Language Processing and Information Systems 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512646 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Kedad, Zoubida. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73351-5">http://dx.doi.org/10.1007/978-3-540-73351-5</a><br/>Format:&#160;Electronic Resources<br/> Applications of Fuzzy Sets Theory 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512656 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Masulli, Francesco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73400-0">http://dx.doi.org/10.1007/978-3-540-73400-0</a><br/>Format:&#160;Electronic Resources<br/> Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512667 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Anai, Hirokazu. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73433-8">http://dx.doi.org/10.1007/978-3-540-73433-8</a><br/>Format:&#160;Electronic Resources<br/> Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512673 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;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:&#160;Electronic Resources<br/> Rough Sets and Intelligent Systems Paradigms International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512674 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Kryszkiewicz, Marzena. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73451-2">http://dx.doi.org/10.1007/978-3-540-73451-2</a><br/>Format:&#160;Electronic Resources<br/> Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512620 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Rocca, Simona Ronchi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73228-0">http://dx.doi.org/10.1007/978-3-540-73228-0</a><br/>Format:&#160;Electronic Resources<br/> Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512649 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Damm, Werner. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73368-3">http://dx.doi.org/10.1007/978-3-540-73368-3</a><br/>Format:&#160;Electronic Resources<br/> Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512671 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Leivant, Daniel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73445-1">http://dx.doi.org/10.1007/978-3-540-73445-1</a><br/>Format:&#160;Electronic Resources<br/> Handbook of Spatial Logics ent://SD_ILS/0/SD_ILS:507337 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Aiello, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-4020-5587-4">http://dx.doi.org/10.1007/978-1-4020-5587-4</a><br/>Format:&#160;Electronic Resources<br/> Handbook of Philosophical Logic ent://SD_ILS/0/SD_ILS:507617 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Gabbay, D.M. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-4020-6324-4">http://dx.doi.org/10.1007/978-1-4020-6324-4</a><br/>Format:&#160;Electronic Resources<br/> Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512698 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Miguel, Ian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73580-9">http://dx.doi.org/10.1007/978-3-540-73580-9</a><br/>Format:&#160;Electronic Resources<br/> Automated Deduction &ndash; CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings ent://SD_ILS/0/SD_ILS:512700 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Pfenning, Frank. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73595-3">http://dx.doi.org/10.1007/978-3-540-73595-3</a><br/>Format:&#160;Electronic Resources<br/> Induction, Algorithmic Learning Theory, and Philosophy ent://SD_ILS/0/SD_ILS:507544 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Friend, Mich&egrave;le. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-4020-6127-1">http://dx.doi.org/10.1007/978-1-4020-6127-1</a><br/>Format:&#160;Electronic Resources<br/> Formal Ontology and Conceptual Realism ent://SD_ILS/0/SD_ILS:507571 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Cocchiarella, Nino B. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4020-6204-9">http://dx.doi.org/10.1007/978-1-4020-6204-9</a><br/>Format:&#160;Electronic Resources<br/> Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino ent://SD_ILS/0/SD_ILS:512134 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Beckert, Bernhard. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69061-0">http://dx.doi.org/10.1007/978-3-540-69061-0</a><br/>Format:&#160;Electronic Resources<br/> STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512244 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Thomas, Wolfgang. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70918-3">http://dx.doi.org/10.1007/978-3-540-70918-3</a><br/>Format:&#160;Electronic Resources<br/> Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512332 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Seidl, Helmut. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71389-0">http://dx.doi.org/10.1007/978-3-540-71389-0</a><br/>Format:&#160;Electronic Resources<br/> Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:512177 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Inoue, Katsumi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69619-3">http://dx.doi.org/10.1007/978-3-540-69619-3</a><br/>Format:&#160;Electronic Resources<br/> Learning Theory 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA; June 13-15, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512561 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Bshouty, Nader H. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72927-3">http://dx.doi.org/10.1007/978-3-540-72927-3</a><br/>Format:&#160;Electronic Resources<br/> AI*IA 2007: Artificial Intelligence and Human-Oriented Computing 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512831 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Basili, Roberto. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74782-6">http://dx.doi.org/10.1007/978-3-540-74782-6</a><br/>Format:&#160;Electronic Resources<br/> Formal Correctness of Security Protocols With 62 Figures and 4 Tables ent://SD_ILS/0/SD_ILS:512052 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Bella, Giampaolo. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68136-6">http://dx.doi.org/10.1007/978-3-540-68136-6</a><br/>Format:&#160;Electronic Resources<br/> Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512527 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Artemov, Sergei N. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72734-7">http://dx.doi.org/10.1007/978-3-540-72734-7</a><br/>Format:&#160;Electronic Resources<br/> Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512446 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Baral, Chitta. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72200-7">http://dx.doi.org/10.1007/978-3-540-72200-7</a><br/>Format:&#160;Electronic Resources<br/> Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:512725 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Azevedo, Francisco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73817-6">http://dx.doi.org/10.1007/978-3-540-73817-6</a><br/>Format:&#160;Electronic Resources<br/> Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:512729 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Muggleton, Stephen. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73847-3">http://dx.doi.org/10.1007/978-3-540-73847-3</a><br/>Format:&#160;Electronic Resources<br/> Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512730 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Mossakowski, Till. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73859-6">http://dx.doi.org/10.1007/978-3-540-73859-6</a><br/>Format:&#160;Electronic Resources<br/> Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512812 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Dahl, V&eacute;ronica. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74610-2">http://dx.doi.org/10.1007/978-3-540-74610-2</a><br/>Format:&#160;Electronic Resources<br/> Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings ent://SD_ILS/0/SD_ILS:512815 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Konev, Boris. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74621-8">http://dx.doi.org/10.1007/978-3-540-74621-8</a><br/>Format:&#160;Electronic Resources<br/> Foundations of Fuzzy Logic and Soft Computing 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512566 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Melin, Patricia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72950-1">http://dx.doi.org/10.1007/978-3-540-72950-1</a><br/>Format:&#160;Electronic Resources<br/> Modelling Distributed Systems ent://SD_ILS/0/SD_ILS:512737 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Fokkink, Wan. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73938-8">http://dx.doi.org/10.1007/978-3-540-73938-8</a><br/>Format:&#160;Electronic Resources<br/> Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512301 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Krishnamurthi, Shriram. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71229-9">http://dx.doi.org/10.1007/978-3-540-71229-9</a><br/>Format:&#160;Electronic Resources<br/> Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512924 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Dershowitz, Nachum. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75560-9">http://dx.doi.org/10.1007/978-3-540-75560-9</a><br/>Format:&#160;Electronic Resources<br/> Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512925 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Parent, Christine. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75563-0">http://dx.doi.org/10.1007/978-3-540-75563-0</a><br/>Format:&#160;Electronic Resources<br/> Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512854 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Duparc, Jacques. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74915-8">http://dx.doi.org/10.1007/978-3-540-74915-8</a><br/>Format:&#160;Electronic Resources<br/> Machine Learning: ECML 2007 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512859 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Kok, Joost N. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74958-5">http://dx.doi.org/10.1007/978-3-540-74958-5</a><br/>Format:&#160;Electronic Resources<br/> Principles and Practice of Constraint Programming &ndash; CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512862 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Bessi&egrave;re, Christian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74970-7">http://dx.doi.org/10.1007/978-3-540-74970-7</a><br/>Format:&#160;Electronic Resources<br/> Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:512758 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Edelkamp, Stefan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74128-2">http://dx.doi.org/10.1007/978-3-540-74128-2</a><br/>Format:&#160;Electronic Resources<br/> Ernst Zermelo An Approach to His Life and Work ent://SD_ILS/0/SD_ILS:511975 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Ebbinghaus, Heinz-Dieter. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-49553-6">http://dx.doi.org/10.1007/978-3-540-49553-6</a><br/>Format:&#160;Electronic Resources<br/> Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers ent://SD_ILS/0/SD_ILS:513031 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Botana, Francisco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77356-6">http://dx.doi.org/10.1007/978-3-540-77356-6</a><br/>Format:&#160;Electronic Resources<br/> Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:512954 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Holub, Jan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-76336-9">http://dx.doi.org/10.1007/978-3-540-76336-9</a><br/>Format:&#160;Electronic Resources<br/> FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings ent://SD_ILS/0/SD_ILS:513005 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Arvind, V. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77050-3">http://dx.doi.org/10.1007/978-3-540-77050-3</a><br/>Format:&#160;Electronic Resources<br/> Dynamic Epistemic Logic ent://SD_ILS/0/SD_ILS:507428 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Ditmarsch, Hans. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4020-5839-4">http://dx.doi.org/10.1007/978-1-4020-5839-4</a><br/>Format:&#160;Electronic Resources<br/> Finite Model Theory and Its Applications ent://SD_ILS/0/SD_ILS:512112 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Gr&auml;del, Erich. author.<br/><a href="http://dx.doi.org/10.1007/3-540-68804-8">http://dx.doi.org/10.1007/3-540-68804-8</a><br/>Format:&#160;Electronic Resources<br/> Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:512336 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Puebla, Germ&aacute;n. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71410-1">http://dx.doi.org/10.1007/978-3-540-71410-1</a><br/>Format:&#160;Electronic Resources<br/> Anaphora: Analysis, Algorithms and Applications 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers ent://SD_ILS/0/SD_ILS:512337 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Branco, Ant&oacute;nio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71412-5">http://dx.doi.org/10.1007/978-3-540-71412-5</a><br/>Format:&#160;Electronic Resources<br/> Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512809 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Schneider, Klaus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74591-4">http://dx.doi.org/10.1007/978-3-540-74591-4</a><br/>Format:&#160;Electronic Resources<br/> Machines, Computations, and Universality 5th International Conference, MCU 2007, Orl&eacute;ans, France, September 10-13, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512810 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Durand-Lose, J&eacute;r&ocirc;me. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74593-8">http://dx.doi.org/10.1007/978-3-540-74593-8</a><br/>Format:&#160;Electronic Resources<br/> Learning Classifier Systems International Workshops, IWLCS 2003-2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:512302 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Kovacs, Tim. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71231-2">http://dx.doi.org/10.1007/978-3-540-71231-2</a><br/>Format:&#160;Electronic Resources<br/> Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512752 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Nielson, Hanne Riis. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74061-2">http://dx.doi.org/10.1007/978-3-540-74061-2</a><br/>Format:&#160;Electronic Resources<br/> The Calculus of Computation Decision Procedures with Applications to Verification ent://SD_ILS/0/SD_ILS:512754 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Bradley, Aaron R. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74113-8">http://dx.doi.org/10.1007/978-3-540-74113-8</a><br/>Format:&#160;Electronic Resources<br/> Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512241 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Kuznetsov, Sergei O. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70901-5">http://dx.doi.org/10.1007/978-3-540-70901-5</a><br/>Format:&#160;Electronic Resources<br/> Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:512319 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Reps, Thomas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71322-7">http://dx.doi.org/10.1007/978-3-540-71322-7</a><br/>Format:&#160;Electronic Resources<br/> Computational Linguistics and Intelligent Text Processing 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512249 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Gelbukh, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70939-8">http://dx.doi.org/10.1007/978-3-540-70939-8</a><br/>Format:&#160;Electronic Resources<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512535 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Marques-Silva, Jo&atilde;o. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72788-0">http://dx.doi.org/10.1007/978-3-540-72788-0</a><br/>Format:&#160;Electronic Resources<br/> Modeling Decisions for Artificial Intelligence 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512714 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Torra, Vicen&ccedil;. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73729-2">http://dx.doi.org/10.1007/978-3-540-73729-2</a><br/>Format:&#160;Electronic Resources<br/> Transactions on Rough Sets VI Commemorating the Life and Work of Zdzisław Pawlak, Part I ent://SD_ILS/0/SD_ILS:512296 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Peters, James F. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71200-8">http://dx.doi.org/10.1007/978-3-540-71200-8</a><br/>Format:&#160;Electronic Resources<br/> Membrane Computing 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:513026 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Eleftherakis, George. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77312-2">http://dx.doi.org/10.1007/978-3-540-77312-2</a><br/>Format:&#160;Electronic Resources<br/> Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers ent://SD_ILS/0/SD_ILS:512949 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Schilder, Frank. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75989-8">http://dx.doi.org/10.1007/978-3-540-75989-8</a><br/>Format:&#160;Electronic Resources<br/> AI 2007: Advances in Artificial Intelligence 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512988 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Orgun, Mehmet A. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-76928-6">http://dx.doi.org/10.1007/978-3-540-76928-6</a><br/>Format:&#160;Electronic Resources<br/> Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512596 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Olivetti, Nicola. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73099-6">http://dx.doi.org/10.1007/978-3-540-73099-6</a><br/>Format:&#160;Electronic Resources<br/> Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:512606 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Comon-Lundh, Hubert. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73147-4">http://dx.doi.org/10.1007/978-3-540-73147-4</a><br/>Format:&#160;Electronic Resources<br/> Case-Based Reasoning Research and Development 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings ent://SD_ILS/0/SD_ILS:512760 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Weber, Rosina O. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74141-1">http://dx.doi.org/10.1007/978-3-540-74141-1</a><br/>Format:&#160;Electronic Resources<br/> Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512766 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Huang, De-Shuang. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74205-0">http://dx.doi.org/10.1007/978-3-540-74205-0</a><br/>Format:&#160;Electronic Resources<br/> Modeling and Using Context 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512771 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Kokinov, Boicho. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74255-5">http://dx.doi.org/10.1007/978-3-540-74255-5</a><br/>Format:&#160;Electronic Resources<br/> Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:512794 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;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:&#160;Electronic Resources<br/> Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bj&oslash;rner and Chaochen Zhou on the Occasion of Their 70th Birthdays ent://SD_ILS/0/SD_ILS:512886 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Jones, Cliff B. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75221-9">http://dx.doi.org/10.1007/978-3-540-75221-9</a><br/>Format:&#160;Electronic Resources<br/> Logica Universalis Towards a General Theory of Logic ent://SD_ILS/0/SD_ILS:513224 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Beziau, Jean-Yves. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-7643-8354-1">http://dx.doi.org/10.1007/978-3-7643-8354-1</a><br/>Format:&#160;Electronic Resources<br/> KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabr&uuml;ck, Germany, September 10-13, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512806 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Hertzberg, Joachim. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74565-5">http://dx.doi.org/10.1007/978-3-540-74565-5</a><br/>Format:&#160;Electronic Resources<br/> Scalable Uncertainty Management First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512903 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Prade, Henri. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75410-7">http://dx.doi.org/10.1007/978-3-540-75410-7</a><br/>Format:&#160;Electronic Resources<br/> Transactions on Rough Sets VII Commemorating the Life and Work of Zdzisław Pawlak, Part II ent://SD_ILS/0/SD_ILS:512380 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Peters, James F. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71663-1">http://dx.doi.org/10.1007/978-3-540-71663-1</a><br/>Format:&#160;Electronic Resources<br/> MICAI 2007: Advances in Artificial Intelligence 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512962 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Gelbukh, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-76631-5">http://dx.doi.org/10.1007/978-3-540-76631-5</a><br/>Format:&#160;Electronic Resources<br/> Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512963 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Shao, Zhong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-76637-7">http://dx.doi.org/10.1007/978-3-540-76637-7</a><br/>Format:&#160;Electronic Resources<br/> Transactions on Computational Systems Biology VIII ent://SD_ILS/0/SD_ILS:512964 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Priami, Corrado. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-76639-1">http://dx.doi.org/10.1007/978-3-540-76639-1</a><br/>Format:&#160;Electronic Resources<br/> Rough Sets, Fuzzy Sets, Data Mining and Granular Computing 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512490 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;An, Aijun. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72530-5">http://dx.doi.org/10.1007/978-3-540-72530-5</a><br/>Format:&#160;Electronic Resources<br/> Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512769 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Csuhaj-Varj&uacute;, Erzs&eacute;bet. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74240-1">http://dx.doi.org/10.1007/978-3-540-74240-1</a><br/>Format:&#160;Electronic Resources<br/> Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday ent://SD_ILS/0/SD_ILS:512946 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Aguzzoli, Stefano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75939-3">http://dx.doi.org/10.1007/978-3-540-75939-3</a><br/>Format:&#160;Electronic Resources<br/> Ontology Matching ent://SD_ILS/0/SD_ILS:511984 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Euzenat, J&eacute;r&ocirc;me. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-49612-0">http://dx.doi.org/10.1007/978-3-540-49612-0</a><br/>Format:&#160;Electronic Resources<br/> Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:512904 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Bozapalidis, Symeon. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75414-5">http://dx.doi.org/10.1007/978-3-540-75414-5</a><br/>Format:&#160;Electronic Resources<br/> Active Conceptual Modeling of Learning Next Generation Learning-Base System Development ent://SD_ILS/0/SD_ILS:513041 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Chen, Peter P. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77503-4">http://dx.doi.org/10.1007/978-3-540-77503-4</a><br/>Format:&#160;Electronic Resources<br/> Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512615 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Harju, Tero. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73208-2">http://dx.doi.org/10.1007/978-3-540-73208-2</a><br/>Format:&#160;Electronic Resources<br/> Machine Learning and Data Mining in Pattern Recognition 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512682 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Perner, Petra. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73499-4">http://dx.doi.org/10.1007/978-3-540-73499-4</a><br/>Format:&#160;Electronic Resources<br/> Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:512425 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Fiadeiro, Jos&eacute; Luiz. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71998-4">http://dx.doi.org/10.1007/978-3-540-71998-4</a><br/>Format:&#160;Electronic Resources<br/> All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic ent://SD_ILS/0/SD_ILS:512426 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Clavel, Manuel. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71999-1">http://dx.doi.org/10.1007/978-3-540-71999-1</a><br/>Format:&#160;Electronic Resources<br/> Conceptual Structures: Knowledge Architectures for Smart Applications 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512711 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Priss, Uta. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73681-3">http://dx.doi.org/10.1007/978-3-540-73681-3</a><br/>Format:&#160;Electronic Resources<br/> Rough Sets and Knowledge Technology Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512479 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Yao, JingTao. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72458-2">http://dx.doi.org/10.1007/978-3-540-72458-2</a><br/>Format:&#160;Electronic Resources<br/> Knowledge Discovery in Databases: PKDD 2007 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, Warsaw, Poland, September 17-21, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512865 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Kok, Joost N. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74976-9">http://dx.doi.org/10.1007/978-3-540-74976-9</a><br/>Format:&#160;Electronic Resources<br/> Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers ent://SD_ILS/0/SD_ILS:512876 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Cate, Balder D. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75144-1">http://dx.doi.org/10.1007/978-3-540-75144-1</a><br/>Format:&#160;Electronic Resources<br/> Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512891 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Mellouli, Khaled. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75256-1">http://dx.doi.org/10.1007/978-3-540-75256-1</a><br/>Format:&#160;Electronic Resources<br/> Current Topics in Artificial Intelligence 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers ent://SD_ILS/0/SD_ILS:512894 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Borrajo, Daniel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75271-4">http://dx.doi.org/10.1007/978-3-540-75271-4</a><br/>Format:&#160;Electronic Resources<br/> Theoretical Aspects of Computing &ndash; ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512898 2024-06-15T17:09:49Z 2024-06-15T17:09:49Z by&#160;Jones, Cliff B. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75292-9">http://dx.doi.org/10.1007/978-3-540-75292-9</a><br/>Format:&#160;Electronic Resources<br/>