Skip to content
VuFind
  • Language
    • English
    • Ελληνικά
Advanced
  • Search
  • Computational Logic in Multi-A...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to EndNoteWeb
    • Export to BibTeX
    • Export to RIS
  • Permanent link
Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings

Show other versions (1)
Bibliographic Details
Main Author: Dix, JΓΌrgen
Corporate Author: SpringerLink (Online service)
Other Authors: Leite, JoΓo, Governatori, Guido, Jamroga, Wojtek
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Series:Lecture Notes in Computer Science 6245
Subjects:
Computer science
Computer Communication Networks
Software engineering
Logic design
Computer Science
Artificial Intelligence (incl. Robotics)
Software Engineering
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Τεχνητή νοημοσύνη
Online Access:http://dx.doi.org/10.1007/978-3-642-14977-1
  • Holdings
  • Description
  • Other Versions (1)
  • Similar Items
  • Staff View
Showing 1 - 1 results of 1
Show all versions (2)
Search Result 1
Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings /
Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings /
Published 2010
Call Number: Loading…
Located: Loading…
Full Text via HEAL-Link
Electronic eBook
Show all versions (2)

Similar Items

  • Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
    by: Dix, JΓΌrgen
    Published: (2010)
  • Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
    by: Touili, Tayssir
    Published: (2010)
  • Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
    by: Engels, Gregor
    Published: (2010)
  • Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
    by: Bottaci, Leonardo
    Published: (2010)
  • Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
    by: Real, Jorge
    Published: (2010)

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels

Need Help?

  • Search Tips
  • Ask a Librarian
Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud