Skip to content
VuFind
  • Language
    • English
    • Ελληνικά
Advanced
  • Logic, Language and Meaning
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to EndNoteWeb
    • Export to BibTeX
    • Export to RIS
  • Permanent link
Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers

Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers

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

Internet

http://dx.doi.org/10.1007/978-3-642-14287-1

ΒΚΠ - Πατρα: Unknown

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

Similar Items

  • Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
    by: Janhunen, Tomi
    Published: (2010)
  • A Theory of Distributed Objects Asynchrony β€” Mobility β€” Groups β€” Components
    by: Caromel, Denis
    Published: (2005)
  • 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)
  • Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
    by: Escobar, Santiago
    Published: (2010)
  • Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
    by: Pol, Jaco
    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_7vmkqpb2qr8gk45lapnnk90aea