Search Results for Logic. - Narrowed by: 2008 - Artificial intelligence.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092008$0025092008$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-05T22:28:28Z
Probabilistic Inductive Logic Programming Theory and Applications
ent://SD_ILS/0/SD_ILS:188200
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Type-2 Fuzzy Logic: Theory and Applications
ent://SD_ILS/0/SD_ILS:187564
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76284-3">http://dx.doi.org/10.1007/978-3-540-76284-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188139
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Blockeel, Hendrik. editor. Ramon, Jan. editor. Shavlik, Jude. editor. Tadepalli, Prasad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188235
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author King, Andy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188293
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Garrigue, Jacques. editor. Hermenegildo, Manuel V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
ent://SD_ILS/0/SD_ILS:189377
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Garcia de la Banda, Maria. editor. Pontelli, Enrico. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:189140
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Sadri, Fariba. editor. Satoh, Ken. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189268
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Cervesato, Iliano. editor. Veith, Helmut. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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 Papers
ent://SD_ILS/0/SD_ILS:189340
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Fages, François. editor. Rossi, Francesca. editor. Soliman, Sylvain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Fuzzy Logic in Action: Applications in Epidemiology and Beyond
ent://SD_ILS/0/SD_ILS:185711
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Massad, Eduardo. author. Ortega, Neli Regina Siqueira. author. Barros, Laecio Carvalho. author. Struchiner, Claudio José. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69094-8">http://dx.doi.org/10.1007/978-3-540-69094-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185946
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Hodges, Wilfrid. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185974
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Meyden, Ron. editor. Torre, Leendert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188813
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Železný, Filip. editor. Lavrač, Nada. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188863
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Algorithms in Invariant Theory
ent://SD_ILS/0/SD_ILS:177066
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Sturmfels, Bernd. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:185554
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Degano, Pierpaolo. editor. Nicola, Rocco. editor. Meseguer, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:186166
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Mohamed, Otmane Ait. editor. Muñoz, César. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:186168
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Armando, Alessandro. editor. Baumgartner, Peter. editor. Dowek, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Foundations of Information and Knowledge Systems 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:187946
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Hartmann, Sven. editor. Kern-Isberner, Gabriele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77684-0">http://dx.doi.org/10.1007/978-3-540-77684-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Developments in Formal Languages and Applications
ent://SD_ILS/0/SD_ILS:188079
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Bel-Enguix, Gemma. editor. Jiménez-López, M. Dolores. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78291-9">http://dx.doi.org/10.1007/978-3-540-78291-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188548
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189077
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Sheth, Amit. editor. Staab, Steffen. editor. Dean, Mike. editor. Paolucci, Massimo. editor. Maynard, Diana. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88564-1">http://dx.doi.org/10.1007/978-3-540-88564-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188025
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Tuyls, Karl. editor. Nowe, Ann. editor. Guessoum, Zahia. editor. Kudenko, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77949-0">http://dx.doi.org/10.1007/978-3-540-77949-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<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. Proceedings
ent://SD_ILS/0/SD_ILS:188243
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Hendren, Laurie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188305
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Sichman, Jaime Simão. editor. Padget, Julian. editor. Ossowski, Sascha. editor. Noriega, Pablo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79003-7">http://dx.doi.org/10.1007/978-3-540-79003-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:188320
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Dastani, Mehdi. editor. El Fallah Seghrouchni, Amal. editor. Ricci, Alessandro. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79043-3">http://dx.doi.org/10.1007/978-3-540-79043-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188500
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188453
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Luck, Michael. editor. Padgham, Lin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79488-2">http://dx.doi.org/10.1007/978-3-540-79488-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188793
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Hornby, Gregory S. editor. Sekanina, Lukáš. editor. Haddow, Pauline C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85857-7">http://dx.doi.org/10.1007/978-3-540-85857-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Agents and Multi-Agent Systems 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189310
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Bui, The Duy. editor. Ho, Tuong Vinh. editor. Ha, Quang Thuy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89674-6">http://dx.doi.org/10.1007/978-3-540-89674-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings.
ent://SD_ILS/0/SD_ILS:189319
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Domingue, John. editor. Anutariya, Chutiporn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89704-0">http://dx.doi.org/10.1007/978-3-540-89704-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185352
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Miculan, Marino. editor. Scagnetto, Ivan. editor. Honsell, Furio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
ent://SD_ILS/0/SD_ILS:185723
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Meyer, Bertrand. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69149-5">http://dx.doi.org/10.1007/978-3-540-69149-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185982
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Gupta, Aarti. editor. Malik, Sharad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:186001
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Decision Procedures An Algorithmic Point of View
ent://SD_ILS/0/SD_ILS:187055
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:187915
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77564-5">http://dx.doi.org/10.1007/978-3-540-77564-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188818
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Stuckey, Peter J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188928
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Shankar, Natarajan. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188966
2024-09-05T22:28:28Z
2024-09-05T22:28:28Z
Author Clark, Alexander. editor. Coste, François. editor. Miclet, Laurent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>