Search Results for - Narrowed by: 2007 - Mathematical Logic and Formal Languages.

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

2024-06-15T20:58:09Z

by Kedad, Zoubida. editor.
http://dx.doi.org/10.1007/978-3-540-73351-5
Format: Electronic Resources

Applications of Fuzzy Sets Theory 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007. Proceedings

2024-06-15T20:58:09Z

by Masulli, Francesco. editor.
http://dx.doi.org/10.1007/978-3-540-73400-0
Format: Electronic Resources

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings

2024-06-15T20:58:09Z

by Anai, Hirokazu. editor.
http://dx.doi.org/10.1007/978-3-540-73433-8
Format: Electronic Resources

Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

2024-06-15T20:58:09Z

by Baader, Franz. editor.
http://dx.doi.org/10.1007/978-3-540-73449-9
Format: Electronic Resources

Rough Sets and Intelligent Systems Paradigms International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007. Proceedings

2024-06-15T20:58:09Z

by Kryszkiewicz, Marzena. editor.
http://dx.doi.org/10.1007/978-3-540-73451-2
Format: Electronic Resources

Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings

2024-06-15T20:58:09Z

by Rocca, Simona Ronchi. editor.
http://dx.doi.org/10.1007/978-3-540-73228-0
Format: Electronic Resources

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

2024-06-15T20:58:09Z

by Damm, Werner. editor.
http://dx.doi.org/10.1007/978-3-540-73368-3
Format: Electronic Resources

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

2024-06-15T20:58:09Z

by Leivant, Daniel. editor.
http://dx.doi.org/10.1007/978-3-540-73445-1
Format: Electronic Resources

Handbook of Spatial Logics

2024-06-15T20:58:09Z

by Aiello, Marco. editor.
http://dx.doi.org/10.1007/978-1-4020-5587-4
Format: Electronic Resources

Handbook of Philosophical Logic

2024-06-15T20:58:09Z

by Gabbay, D.M. editor.
http://dx.doi.org/10.1007/978-1-4020-6324-4
Format: Electronic Resources

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings

2024-06-15T20:58:09Z

by Miguel, Ian. editor.
http://dx.doi.org/10.1007/978-3-540-73580-9
Format: Electronic Resources

Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

2024-06-15T20:58:09Z

by Pfenning, Frank. editor.
http://dx.doi.org/10.1007/978-3-540-73595-3
Format: Electronic Resources

Induction, Algorithmic Learning Theory, and Philosophy

2024-06-15T20:58:09Z

by Friend, Michèle. editor.
http://dx.doi.org/10.1007/978-1-4020-6127-1
Format: Electronic Resources

Formal Ontology and Conceptual Realism

2024-06-15T20:58:09Z

by Cocchiarella, Nino B. author.
http://dx.doi.org/10.1007/978-1-4020-6204-9
Format: Electronic Resources

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino

2024-06-15T20:58:09Z

by Beckert, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-540-69061-0
Format: Electronic Resources

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

2024-06-15T20:58:09Z

by Thomas, Wolfgang. editor.
http://dx.doi.org/10.1007/978-3-540-70918-3
Format: Electronic Resources

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

2024-06-15T20:58:09Z

by Seidl, Helmut. editor.
http://dx.doi.org/10.1007/978-3-540-71389-0
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers

2024-06-15T20:58:09Z

by Inoue, Katsumi. editor.
http://dx.doi.org/10.1007/978-3-540-69619-3
Format: Electronic Resources

Learning Theory 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA; June 13-15, 2007. Proceedings

2024-06-15T20:58:09Z

by Bshouty, Nader H. editor.
http://dx.doi.org/10.1007/978-3-540-72927-3
Format: Electronic Resources

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

2024-06-15T20:58:09Z

by Basili, Roberto. editor.
http://dx.doi.org/10.1007/978-3-540-74782-6
Format: Electronic Resources

Formal Correctness of Security Protocols With 62 Figures and 4 Tables

2024-06-15T20:58:09Z

by Bella, Giampaolo. author.
http://dx.doi.org/10.1007/978-3-540-68136-6
Format: Electronic Resources

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

2024-06-15T20:58:09Z

by Artemov, Sergei N. editor.
http://dx.doi.org/10.1007/978-3-540-72734-7
Format: Electronic Resources

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings

2024-06-15T20:58:09Z

by Baral, Chitta. editor.
http://dx.doi.org/10.1007/978-3-540-72200-7
Format: Electronic Resources

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

2024-06-15T20:58:09Z

by Azevedo, Francisco. editor.
http://dx.doi.org/10.1007/978-3-540-73817-6
Format: Electronic Resources

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers

2024-06-15T20:58:09Z

by Muggleton, Stephen. editor.
http://dx.doi.org/10.1007/978-3-540-73847-3
Format: Electronic Resources

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

2024-06-15T20:58:09Z

by Mossakowski, Till. editor.
http://dx.doi.org/10.1007/978-3-540-73859-6
Format: Electronic Resources

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings

2024-06-15T20:58:09Z

by Dahl, Véronica. editor.
http://dx.doi.org/10.1007/978-3-540-74610-2
Format: Electronic Resources

Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings

2024-06-15T20:58:09Z

by Konev, Boris. editor.
http://dx.doi.org/10.1007/978-3-540-74621-8
Format: Electronic Resources

Foundations of Fuzzy Logic and Soft Computing 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007. Proceedings

2024-06-15T20:58:09Z

by Melin, Patricia. editor.
http://dx.doi.org/10.1007/978-3-540-72950-1
Format: Electronic Resources

Modelling Distributed Systems

2024-06-15T20:58:09Z

by Fokkink, Wan. author.
http://dx.doi.org/10.1007/978-3-540-73938-8
Format: Electronic Resources

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

2024-06-15T20:58:09Z

by Krishnamurthi, Shriram. editor.
http://dx.doi.org/10.1007/978-3-540-71229-9
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

2024-06-15T20:58:09Z

by Dershowitz, Nachum. editor.
http://dx.doi.org/10.1007/978-3-540-75560-9
Format: Electronic Resources

Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings

2024-06-15T20:58:09Z

by Parent, Christine. editor.
http://dx.doi.org/10.1007/978-3-540-75563-0
Format: Electronic Resources

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

2024-06-15T20:58:09Z

by Duparc, Jacques. editor.
http://dx.doi.org/10.1007/978-3-540-74915-8
Format: Electronic Resources

Machine Learning: ECML 2007 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007. Proceedings

2024-06-15T20:58:09Z

by Kok, Joost N. editor.
http://dx.doi.org/10.1007/978-3-540-74958-5
Format: Electronic Resources

Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings

2024-06-15T20:58:09Z

by Bessière, Christian. editor.
http://dx.doi.org/10.1007/978-3-540-74970-7
Format: Electronic Resources

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

2024-06-15T20:58:09Z

by Edelkamp, Stefan. editor.
http://dx.doi.org/10.1007/978-3-540-74128-2
Format: Electronic Resources

Ernst Zermelo An Approach to His Life and Work

2024-06-15T20:58:09Z

by Ebbinghaus, Heinz-Dieter. author.
http://dx.doi.org/10.1007/978-3-540-49553-6
Format: Electronic Resources

Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers

2024-06-15T20:58:09Z

by Botana, Francisco. editor.
http://dx.doi.org/10.1007/978-3-540-77356-6
Format: Electronic Resources

Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers

2024-06-15T20:58:09Z

by Holub, Jan. editor.
http://dx.doi.org/10.1007/978-3-540-76336-9
Format: Electronic Resources

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

2024-06-15T20:58:09Z

by Arvind, V. editor.
http://dx.doi.org/10.1007/978-3-540-77050-3
Format: Electronic Resources

Dynamic Epistemic Logic

2024-06-15T20:58:09Z

by Ditmarsch, Hans. author.
http://dx.doi.org/10.1007/978-1-4020-5839-4
Format: Electronic Resources

Finite Model Theory and Its Applications

2024-06-15T20:58:09Z

by Grädel, Erich. author.
http://dx.doi.org/10.1007/3-540-68804-8
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

2024-06-15T20:58:09Z

by Puebla, Germán. editor.
http://dx.doi.org/10.1007/978-3-540-71410-1
Format: Electronic Resources

Anaphora: Analysis, Algorithms and Applications 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers

2024-06-15T20:58:09Z

by Branco, António. editor.
http://dx.doi.org/10.1007/978-3-540-71412-5
Format: Electronic Resources

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

2024-06-15T20:58:09Z

by Schneider, Klaus. editor.
http://dx.doi.org/10.1007/978-3-540-74591-4
Format: Electronic Resources

Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings

2024-06-15T20:58:09Z

by Durand-Lose, Jérôme. editor.
http://dx.doi.org/10.1007/978-3-540-74593-8
Format: Electronic Resources

Learning Classifier Systems International Workshops, IWLCS 2003-2005, Revised Selected Papers

2024-06-15T20:58:09Z

by Kovacs, Tim. editor.
http://dx.doi.org/10.1007/978-3-540-71231-2
Format: Electronic Resources

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

2024-06-15T20:58:09Z

by Nielson, Hanne Riis. editor.
http://dx.doi.org/10.1007/978-3-540-74061-2
Format: Electronic Resources

The Calculus of Computation Decision Procedures with Applications to Verification

2024-06-15T20:58:09Z

by Bradley, Aaron R. author.
http://dx.doi.org/10.1007/978-3-540-74113-8
Format: Electronic Resources

Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings

2024-06-15T20:58:09Z

by Kuznetsov, Sergei O. editor.
http://dx.doi.org/10.1007/978-3-540-70901-5
Format: Electronic Resources

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

2024-06-15T20:58:09Z

by Reps, Thomas. editor.
http://dx.doi.org/10.1007/978-3-540-71322-7
Format: Electronic Resources

Computational Linguistics and Intelligent Text Processing 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007. Proceedings

2024-06-15T20:58:09Z

by Gelbukh, Alexander. editor.
http://dx.doi.org/10.1007/978-3-540-70939-8
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

2024-06-15T20:58:09Z

by Marques-Silva, João. editor.
http://dx.doi.org/10.1007/978-3-540-72788-0
Format: Electronic Resources

Modeling Decisions for Artificial Intelligence 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007. Proceedings

2024-06-15T20:58:09Z

by Torra, Vicenç. editor.
http://dx.doi.org/10.1007/978-3-540-73729-2
Format: Electronic Resources

Transactions on Rough Sets VI Commemorating the Life and Work of Zdzisław Pawlak, Part I

2024-06-15T20:58:09Z

by Peters, James F. editor.
http://dx.doi.org/10.1007/978-3-540-71200-8
Format: Electronic Resources

Membrane Computing 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers

2024-06-15T20:58:09Z

by Eleftherakis, George. editor.
http://dx.doi.org/10.1007/978-3-540-77312-2
Format: Electronic Resources

Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers

2024-06-15T20:58:09Z

by Schilder, Frank. editor.
http://dx.doi.org/10.1007/978-3-540-75989-8
Format: Electronic Resources

AI 2007: Advances in Artificial Intelligence 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007. Proceedings

2024-06-15T20:58:09Z

by Orgun, Mehmet A. editor.
http://dx.doi.org/10.1007/978-3-540-76928-6
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

2024-06-15T20:58:09Z

by Olivetti, Nicola. editor.
http://dx.doi.org/10.1007/978-3-540-73099-6
Format: Electronic Resources

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

2024-06-15T20:58:09Z

by Comon-Lundh, Hubert. editor.
http://dx.doi.org/10.1007/978-3-540-73147-4
Format: Electronic Resources

Case-Based Reasoning Research and Development 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings

2024-06-15T20:58:09Z

by Weber, Rosina O. editor.
http://dx.doi.org/10.1007/978-3-540-74141-1
Format: Electronic Resources

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

2024-06-15T20:58:09Z

by Huang, De-Shuang. editor.
http://dx.doi.org/10.1007/978-3-540-74205-0
Format: Electronic Resources

Modeling and Using Context 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007. Proceedings

2024-06-15T20:58:09Z

by Kokinov, Boicho. editor.
http://dx.doi.org/10.1007/978-3-540-74255-5
Format: Electronic Resources

Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

2024-06-15T20:58:09Z

by Altenkirch, Thorsten. editor.
http://dx.doi.org/10.1007/978-3-540-74464-1
Format: Electronic Resources

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

2024-06-15T20:58:09Z

by Jones, Cliff B. editor.
http://dx.doi.org/10.1007/978-3-540-75221-9
Format: Electronic Resources

Logica Universalis Towards a General Theory of Logic

2024-06-15T20:58:09Z

by Beziau, Jean-Yves. editor.
http://dx.doi.org/10.1007/978-3-7643-8354-1
Format: Electronic Resources

KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007. Proceedings

2024-06-15T20:58:09Z

by Hertzberg, Joachim. editor.
http://dx.doi.org/10.1007/978-3-540-74565-5
Format: Electronic Resources

Scalable Uncertainty Management First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings

2024-06-15T20:58:09Z

by Prade, Henri. editor.
http://dx.doi.org/10.1007/978-3-540-75410-7
Format: Electronic Resources

Transactions on Rough Sets VII Commemorating the Life and Work of Zdzisław Pawlak, Part II

2024-06-15T20:58:09Z

by Peters, James F. editor.
http://dx.doi.org/10.1007/978-3-540-71663-1
Format: Electronic Resources

MICAI 2007: Advances in Artificial Intelligence 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007. Proceedings

2024-06-15T20:58:09Z

by Gelbukh, Alexander. editor.
http://dx.doi.org/10.1007/978-3-540-76631-5
Format: Electronic Resources

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

2024-06-15T20:58:09Z

by Shao, Zhong. editor.
http://dx.doi.org/10.1007/978-3-540-76637-7
Format: Electronic Resources

Transactions on Computational Systems Biology VIII

2024-06-15T20:58:09Z

by Priami, Corrado. editor.
http://dx.doi.org/10.1007/978-3-540-76639-1
Format: Electronic Resources

Rough Sets, Fuzzy Sets, Data Mining and Granular Computing 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007. Proceedings

2024-06-15T20:58:09Z

by An, Aijun. editor.
http://dx.doi.org/10.1007/978-3-540-72530-5
Format: Electronic Resources

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings

2024-06-15T20:58:09Z

by Csuhaj-Varjú, Erzsébet. editor.
http://dx.doi.org/10.1007/978-3-540-74240-1
Format: Electronic Resources

Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday

2024-06-15T20:58:09Z

by Aguzzoli, Stefano. editor.
http://dx.doi.org/10.1007/978-3-540-75939-3
Format: Electronic Resources

Ontology Matching

2024-06-15T20:58:09Z

by Euzenat, Jérôme. author.
http://dx.doi.org/10.1007/978-3-540-49612-0
Format: Electronic Resources

Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

2024-06-15T20:58:09Z

by Bozapalidis, Symeon. editor.
http://dx.doi.org/10.1007/978-3-540-75414-5
Format: Electronic Resources

Active Conceptual Modeling of Learning Next Generation Learning-Base System Development

2024-06-15T20:58:09Z

by Chen, Peter P. editor.
http://dx.doi.org/10.1007/978-3-540-77503-4
Format: Electronic Resources

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings

2024-06-15T20:58:09Z

by Harju, Tero. editor.
http://dx.doi.org/10.1007/978-3-540-73208-2
Format: Electronic Resources

Machine Learning and Data Mining in Pattern Recognition 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007. Proceedings

2024-06-15T20:58:09Z

by Perner, Petra. editor.
http://dx.doi.org/10.1007/978-3-540-73499-4
Format: Electronic Resources

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

2024-06-15T20:58:09Z

by Fiadeiro, José Luiz. editor.
http://dx.doi.org/10.1007/978-3-540-71998-4
Format: Electronic Resources

All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic

2024-06-15T20:58:09Z

by Clavel, Manuel. author.
http://dx.doi.org/10.1007/978-3-540-71999-1
Format: Electronic Resources

Conceptual Structures: Knowledge Architectures for Smart Applications 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007. Proceedings

2024-06-15T20:58:09Z

by Priss, Uta. editor.
http://dx.doi.org/10.1007/978-3-540-73681-3
Format: Electronic Resources

Rough Sets and Knowledge Technology Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007. Proceedings

2024-06-15T20:58:09Z

by Yao, JingTao. editor.
http://dx.doi.org/10.1007/978-3-540-72458-2
Format: Electronic Resources

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

2024-06-15T20:58:09Z

by Kok, Joost N. editor.
http://dx.doi.org/10.1007/978-3-540-74976-9
Format: Electronic Resources

Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers

2024-06-15T20:58:09Z

by Cate, Balder D. editor.
http://dx.doi.org/10.1007/978-3-540-75144-1
Format: Electronic Resources

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings

2024-06-15T20:58:09Z

by Mellouli, Khaled. editor.
http://dx.doi.org/10.1007/978-3-540-75256-1
Format: Electronic Resources

Current Topics in Artificial Intelligence 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers

2024-06-15T20:58:09Z

by Borrajo, Daniel. editor.
http://dx.doi.org/10.1007/978-3-540-75271-4
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

2024-06-15T20:58:09Z

by Jones, Cliff B. editor.
http://dx.doi.org/10.1007/978-3-540-75292-9
Format: Electronic Resources