Skip to content
VuFind
  • Language
    • English
    • Ελληνικά
Advanced
  • Search
  • Deontic Logic in Computer Scie...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to EndNoteWeb
    • Export to BibTeX
    • Export to RIS
  • Permanent link
Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

Show other versions (1)
Bibliographic Details
Main Author: Governatori, Guido
Corporate Author: SpringerLink (Online service)
Other Authors: Sartor, Giovanni
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Series:Lecture Notes in Computer Science 6181
Subjects:
Computer science
Logic design
Computational complexity
Computer Science
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Discrete Mathematics in Computer Science
Computation by Abstract Devices
Logics and Meanings of Programs
Mathematics of Computing
Τεχνητή νοημοσύνη
Online Access:http://dx.doi.org/10.1007/978-3-642-14183-6
  • Holdings
  • Description
  • Other Versions (1)
  • Similar Items
  • Staff View
Showing 1 - 1 results of 1
Show all versions (2)
Search Result 1
Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
Published 2010
Call Number: Loading…
Located: Loading…
Full Text via HEAL-Link
Electronic eBook
Show all versions (2)

Similar Items

  • Logic and the Foundations of Game and Decision Theory – LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
    by: Bonanno, Giacomo
    Published: (2010)
  • Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
    by: Frappier, Marc
    Published: (2010)
  • Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
    by: Ablayev, Farid
    Published: (2010)
  • Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
    by: Giesl, JΓΌrgen
    Published: (2010)
  • Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings
    by: Gao, Yuan
    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