„semantics“

Suchergebnisse

6.842 Treffer

• Logic Programming and Nonmonotonic Reasoning – 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• Computational Logic in Multi-Agent Systems – 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• The Beauty of Functional Code – Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
  Achten, Peter ; Plasmeijer, Marinus Jacobus ; Koopman, Pieter 2013 Springer Berlin Heidelberg
• Database Systems for Advanced Applications – 18th International Conference, DASFAA 2013, International Workshops: BDMA, SNSM, SeCoP, Wuhan, China, April 22-25, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• Logic, Language, Information, and Computation – 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
  Libkin, Leonid ; Kohlenbach, Ulrich ; Queiroz, Ruy 2013 Springer Berlin Heidelberg
• Systems and Frameworks for Computational Morphology – Third International Workshop, SFCM 2013, Berlin, Germany, September 6, 2013 Proceedings
  2013 Springer Berlin Heidelberg
• Web Reasoning and Rule Systems – 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• Programming Multi-Agent Systems – 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
  Dennis, Louise ; Boissier, Olivier ; Bordini, Rafael H. 2013 Springer Berlin Heidelberg
• Recent Trends in Applied Artificial Intelligence – 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings
  Ali, Moonis ; Bosse, Tibor ; Hindriks, Koen V. ; Hoogendoorn, Mark ; Jonker, Catholijn M. ; Treur, Jan 2013 Springer Berlin Heidelberg
• Database Systems for Advanced Applications – 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part I
  2013 Springer Berlin Heidelberg
• Database Systems for Advanced Applications – 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part II
  Hong, Bonghee ; Meng, Xiaofeng ; Chen, Lei ; Winiwarter, Werner ; Song, Wei 2013 Springer Berlin Heidelberg
• Recent Trends in Algebraic Development Techniques – 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
  Martí-Oliet, Narciso ; Palomino, Miguel 2013 Springer Berlin Heidelberg
• Advances in Artificial Intelligence – 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part I
  Timm, Ingo J. ; Thimm, Matthias 2013 Springer Berlin Heidelberg
• Logic, Language, and Computation – 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers
  Bezhanishvili, Guram ; Löbner, Sebastian ; Marra, Vincenzo ; Richter, Frank 2013 Springer Berlin Heidelberg
• Semantics for Concurrency – Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23–25 July 1990, University of Leicester, UK
  Kwiatkowska, Marta Z. 1990 Springer London
• Chinese Lexical Semantics – 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Selected Papers
  Ji, Donghong ; Xiao, Guozheng 2013 Springer Berlin Heidelberg
• Business Intelligence – Second European Summer School, eBISS 2012, Brussels, Belgium, July 15-21, 2012, Tutorial Lectures
  Aufaure, Marie-Aude ; Zimányi, Esteban 2013 Springer Berlin Heidelberg
• Unifying Theories of Programming – 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
  Wolff, Burkhart ; Gaudel, Marie-Claude ; Feliachi, Abderrahmane 2013 Springer Berlin Heidelberg
• Intelligent Systems for Crisis Management – Geo-information for Disaster Management (Gi4DM) 2012
  Zlatanova, Sisi ; Dilo, Arta ; Peters, Rob ; Scholten, Hans 2013 Springer Berlin Heidelberg
• Metadata and Semantics Research – 6th Research Conference, MTSR 2012, Cádiz, Spain, November 28-30, 2012. Proceedings
  Dodero, Juan Manuel ; Palomo-Duarte, Manuel ; Karampiperis, Pythagoras 2012 Springer Berlin Heidelberg