• Campus Access
  • About MPG.eBooks
Skip to content
Search Tips
  • Home>
  • Challenges for Action Theories
  • Description
Language
  • Advanced
Cover Image
Read Now

Challenges for Action Theories

Bibliographic Details
Main Author: Thielscher, Michael
Format: eBook
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2000
Series:Lecture Notes in Computer Science
Subjects:
Artificial Intelligence
Computer Science
Logic, Symbolic And Mathematical
Artificial Intelligence (incl. Robotics)
Mathematical Logic And Formal Languages
Mathematical Logic And Foundations
Online Access:
http://dx.doi.org/10.1007/3-540-45596-5?nosfx=y
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
    • Export to EndNoteWeb
    • Export to EndNote
    • Export to MARC
    • Export to BibTeX
  • Description
  • Staff View
Description
Physical Description:v. digital
ISBN:9783540455967
978-3-540-67455-9

Similar Items

  • Theory Reasoning in Connection Calculi
    by: Baumgartner, Peter
    Published: (1998)
  • Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings
    by: Galmiche, Didier
    Published: (1997)
  • Logics in Artificial Intelligence : European Workshop, JELIA’ 98 Dagstuhl, Germany, October 12–15, 1998 Proceedings
    by: Dix, Jürgen
    Published: (1998)
  • Challenges for Action Theories
    by: Thielscher, Michael
    Published: (2000)
  • Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
    by: McAllester, David
    Published: (2000)
Logo Max Planck Digital Library
  • Advanced Search
  • Recently Uploaded
  • Search History
  • Disclaimer
  • Privacy Policy
  • Cookie Settings
  • Contact
Loading...