Skip to content
VuFind
  • Language
    • English
    • Ελληνικά
Advanced
  • Logics in Artificial Intellige...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to EndNoteWeb
    • Export to BibTeX
    • Export to RIS
  • Permanent link
Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings

Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings

Show other versions (1)
Bibliographic Details
Main Author: Janhunen, Tomi
Corporate Author: SpringerLink (Online service)
Other Authors: NiemelΓ€, Ilkka
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg Springer-Verlag Heidelberg 2010
Series:Lecture Notes in Computer Science 6341
Subjects:
Computer science
Software engineering
Logic design
Algebra > Data processing
Information systems
Computer Science
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Information Systems Applications (incl.Internet)
Software Engineering
Logics and Meanings of Programs
Άλγεβρα > Ηλεκτρονικοί υπολογιστές > Προγράμματα
Τεχνητή νοημοσύνη
Online Access:http://dx.doi.org/10.1007/978-3-642-15675-5
  • Holdings
  • Description
  • Other Versions (1)
  • Similar Items
  • Staff View

Internet

http://dx.doi.org/10.1007/978-3-642-15675-5

ΒΚΠ - Πατρα: Unknown

Holdings details from ΒΚΠ - Πατρα: Unknown
Call Number: Unknown
Copy Unknown Available

Similar Items

  • Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers
    by: Aloni, Maria
    Published: (2010)
  • 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)
  • Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday
    by: Siegler, Simon
    Published: (2010)
  • Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
    by: Schmid, Ute
    Published: (2010)
  • Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings
    by: Dix, JΓΌrgen
    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
Cannot write session to /tmp/vufind_sessions/sess_87b8hbirj7cm3klsjuhp9dpj5n