Skip to content
VuFind
  • Language
    • English
    • Ελληνικά
Advanced
  • Logical Tools for Handling Cha...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to EndNoteWeb
    • Export to BibTeX
    • Export to RIS
  • Permanent link
Logical Tools for Handling Change in Agent-Based Systems

Logical Tools for Handling Change in Agent-Based Systems

Show other versions (1)
Bibliographic Details
Main Author: Gabbay, Dov M., 1945-
Corporate Author: SpringerLink (Online service)
Other Authors: Schlechta, Karl
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Series:Cognitive Technologies
Subjects:
Computer science
Logic
Logic, Symbolic and mathematical
Computer Science
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Λογική, Συμβολική και μαθηματική
Τεχνητή νοημοσύνη
Online Access:http://dx.doi.org/10.1007/978-3-642-04407-6
  • Holdings
  • Description
  • Other Versions (1)
  • Similar Items
  • Staff View
Description
Physical Description:v.: digital
ISBN:9783642044076
ISSN:1611-2482

Similar Items

  • Mathematical Problems from Applied Logic I Logics for the XXIst Century
    by: Gabbay, Dov M., 1945-
    Published: (2006)
  • Natural Deduction, Hybrid Systems and Modal Logics
    by: Indrzejczak, Andrzej
    Published: (2010)
  • A Course in Mathematical Logic for Mathematicians
    by: Manin, IU I.
    Published: (2010)
  • The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
    by: Benthem, Johan
    Published: (2006)
  • A Modern Perspective on Type Theory From its Origins until Today
    by: Kamareddine, Fairouz
    Published: (2005)

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_s693rj0f9q6rsh98f49ot2hds5