Search Results for Logic. - Narrowed by: 2011 - Artificial intelligence.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092011$0025092011$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-05T23:39:23Z
From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
ent://SD_ILS/0/SD_ILS:191764
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11682-7">http://dx.doi.org/10.1007/978-3-642-11682-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:193781
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Banerjee, Mohua. editor. Seth, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18026-2">http://dx.doi.org/10.1007/978-3-642-18026-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194060
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Larrosa, Javier. editor. O’Sullivan, Barry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19486-3">http://dx.doi.org/10.1007/978-3-642-19486-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194523
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20895-9">http://dx.doi.org/10.1007/978-3-642-20895-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Grammar Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:194717
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Pogodalla, Sylvain. editor. Quatrini, Myriam. editor. Retoré, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21490-5">http://dx.doi.org/10.1007/978-3-642-21490-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Logic and Applications 9th International Workshop, WILF 2011, Trani, Italy, August 29-31,2011. Proceedings
ent://SD_ILS/0/SD_ILS:195424
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Fanelli, Anna Maria. editor. Pedrycz, Witold. editor. Petrosino, Alfredo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23713-3">http://dx.doi.org/10.1007/978-3-642-23713-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194411
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Alpuente, María. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20551-4">http://dx.doi.org/10.1007/978-3-642-20551-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194483
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Mariño, Julio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20775-4">http://dx.doi.org/10.1007/978-3-642-20775-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:194501
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Balduccini, Marcello. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20832-4">http://dx.doi.org/10.1007/978-3-642-20832-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers
ent://SD_ILS/0/SD_ILS:194655
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Frasconi, Paolo. editor. Lisi, Francesca A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21295-6">http://dx.doi.org/10.1007/978-3-642-21295-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, and Computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194981
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Bezhanishvili, Nick. editor. Löbner, Sebastian. editor. Schwabe, Kerstin. editor. Spada, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22303-7">http://dx.doi.org/10.1007/978-3-642-22303-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195000
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Leite, João. editor. Torroni, Paolo. editor. Ågotnes, Thomas. editor. Boella, Guido. editor. Torre, Leon. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22359-4">http://dx.doi.org/10.1007/978-3-642-22359-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
ent://SD_ILS/0/SD_ILS:195055
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Kuchen, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22531-4">http://dx.doi.org/10.1007/978-3-642-22531-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions
ent://SD_ILS/0/SD_ILS:195145
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Kaiser, Łukasz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22807-0">http://dx.doi.org/10.1007/978-3-642-22807-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emotional Cognitive Neural Algorithms with Engineering Applications Dynamic Logic: FromVague to Crisp
ent://SD_ILS/0/SD_ILS:195153
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Perlovsky, Leonid. author. Deming, Ross. author. Ilin, Roman. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22830-8">http://dx.doi.org/10.1007/978-3-642-22830-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:193987
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Balasubramaniam, P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19263-0">http://dx.doi.org/10.1007/978-3-642-19263-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194672
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Blackburn, Patrick. editor. Ditmarsch, Hans. editor. Manzano, María. editor. Soler-Toscano, Fernando. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21350-2">http://dx.doi.org/10.1007/978-3-642-21350-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Approaches to Legal Rationality
ent://SD_ILS/0/SD_ILS:205533
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Gabbay, Dov M. editor. Canivez, Patrice. editor. Rahman, Shahid. editor. Thiercelin, Alexandre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9588-6">http://dx.doi.org/10.1007/978-90-481-9588-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Working with Preferences: Less Is More Less Is More
ent://SD_ILS/0/SD_ILS:193554
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Kaci, Souhila. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17280-9">http://dx.doi.org/10.1007/978-3-642-17280-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:193874
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Rocha, Ricardo. editor. Launchbury, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18378-2">http://dx.doi.org/10.1007/978-3-642-18378-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conditionals and Modularity in General Logics
ent://SD_ILS/0/SD_ILS:193923
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19068-1">http://dx.doi.org/10.1007/978-3-642-19068-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193968
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Gleizes, Marie-Pierre. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19208-1">http://dx.doi.org/10.1007/978-3-642-19208-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194133
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Barthe, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19718-5">http://dx.doi.org/10.1007/978-3-642-19718-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194172
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19835-9">http://dx.doi.org/10.1007/978-3-642-19835-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:194449
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Meyden, Ron. editor. Smaus, Jan-Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20674-0">http://dx.doi.org/10.1007/978-3-642-20674-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194918
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Gopalakrishnan, Ganesh. editor. Qadeer, Shaz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22110-1">http://dx.doi.org/10.1007/978-3-642-22110-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194920
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Brünnler, Kai. editor. Metcalfe, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22119-4">http://dx.doi.org/10.1007/978-3-642-22119-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194930
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Liu, Weiru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22152-1">http://dx.doi.org/10.1007/978-3-642-22152-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CONCUR 2011 – Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195275
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Katoen, Joost-Pieter. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23217-6">http://dx.doi.org/10.1007/978-3-642-23217-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming – CP 2011 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195446
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Lee, Jimmy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23786-7">http://dx.doi.org/10.1007/978-3-642-23786-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge in Formation A Computational Theory of Interpretation
ent://SD_ILS/0/SD_ILS:193503
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Sarbo, Janos J. author. Farkas, Jozsef I. author. Breemen, Auke J.J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17089-8">http://dx.doi.org/10.1007/978-3-642-17089-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193711
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Johnson, Michael. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17796-5">http://dx.doi.org/10.1007/978-3-642-17796-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthday
ent://SD_ILS/0/SD_ILS:194028
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Calude, Cristian S. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19391-0">http://dx.doi.org/10.1007/978-3-642-19391-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194747
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Sakallah, Karem A. editor. Simon, Laurent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21581-0">http://dx.doi.org/10.1007/978-3-642-21581-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194987
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Mauri, Giancarlo. editor. Leporati, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22321-1">http://dx.doi.org/10.1007/978-3-642-22321-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction – CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195027
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Bjørner, Nikolaj. editor. Sofronie-Stokkermans, Viorica. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22438-6">http://dx.doi.org/10.1007/978-3-642-22438-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering XI 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195090
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Weyns, Danny. editor. Gleizes, Marie-Pierre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22636-6">http://dx.doi.org/10.1007/978-3-642-22636-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages, Methodologies, and Development Tools for Multi-Agent Systems Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195117
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Dastani, Mehdi. editor. Fallah Seghrouchni, Amal. editor. Hübner, Jomi. editor. Leite, João. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22723-3">http://dx.doi.org/10.1007/978-3-642-22723-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195162
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Eekelen, Marko. editor. Geuvers, Herman. editor. Schmaltz, Julien. editor. Wiedijk, Freek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22863-6">http://dx.doi.org/10.1007/978-3-642-22863-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195616
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Tinelli, Cesare. editor. Sofronie-Stokkermans, Viorica. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24364-6">http://dx.doi.org/10.1007/978-3-642-24364-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Learning Theory 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195629
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Kivinen, Jyrki. editor. Szepesvári, Csaba. editor. Ukkonen, Esko. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24412-4">http://dx.doi.org/10.1007/978-3-642-24412-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195642
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Scholz, Sven-Bodo. editor. Chitil, Olaf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24452-0">http://dx.doi.org/10.1007/978-3-642-24452-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:196127
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Kim, Haeng-kon. editor. Kang, Heau-jo. editor. Kim, Kyung Jung. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27207-3">http://dx.doi.org/10.1007/978-3-642-27207-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193308
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Morazán, Marco T. editor. Scholz, Sven-Bodo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16478-1">http://dx.doi.org/10.1007/978-3-642-16478-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:194463
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Omicini, Andrea. editor. Sardina, Sebastian. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20715-0">http://dx.doi.org/10.1007/978-3-642-20715-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers
ent://SD_ILS/0/SD_ILS:194573
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Sturm, Thomas. editor. Zengler, Christoph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21046-4">http://dx.doi.org/10.1007/978-3-642-21046-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194581
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Swart, Harrie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21070-9">http://dx.doi.org/10.1007/978-3-642-21070-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unconventional Computation 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194669
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Calude, Cristian S. editor. Kari, Jarkko. editor. Petre, Ion. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21341-0">http://dx.doi.org/10.1007/978-3-642-21341-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiagent System Technologies 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195687
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Klügl, Franziska. editor. Ossowski, Sascha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24603-6">http://dx.doi.org/10.1007/978-3-642-24603-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling – ER 2011 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195688
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Jeusfeld, Manfred. editor. Delcambre, Lois. editor. Ling, Tok-Wang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24606-7">http://dx.doi.org/10.1007/978-3-642-24606-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195716
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Barthe, Gilles. editor. Pardo, Alberto. editor. Schneider, Gerardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24690-6">http://dx.doi.org/10.1007/978-3-642-24690-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
ent://SD_ILS/0/SD_ILS:195782
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Kuich, Werner. editor. Rahonis, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24897-9">http://dx.doi.org/10.1007/978-3-642-24897-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195929
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Jouannaud, Jean-Pierre. editor. Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25379-9">http://dx.doi.org/10.1007/978-3-642-25379-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trust Networks for Recommender Systems
ent://SD_ILS/0/SD_ILS:207017
2024-09-05T23:39:23Z
2024-09-05T23:39:23Z
Author Victor, Patricia. author. Cornelis, Chris. author. de Cock, Martine. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-08-4">http://dx.doi.org/10.2991/978-94-91216-08-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>