Find a copy online
Links to this item
link.springer.de Accessible en INTRANET
link.springer-ny.com Restricted to Springer LINK subscribers
springerlink.com Available to Stanford-affiliated users at :
Show all linksFind a copy in the library
Finding libraries that hold this item...
Details
| Material Type: | Internet resource |
|---|---|
| Document Type: | Book, Internet Resource |
| All Authors / Contributors: |
Michael Thielscher |
| ISBN: | 3540674551 9783540674559 |
| OCLC Number: | 43894238 |
| Description: | xiv, 138 p. : ill. ; 24 cm. |
| Series Title: | Lecture notes in computer science, 1775.; Lecture notes in computer science., Lecture notes in artificial intelligence. |
| Responsibility: | Michael Thielscher. |
| More information: |
Reviews
User-contributed reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.
Tags
Add tags for "Challenges for action theories".
Be the first.
Similar Items
Related Subjects:(15)
- Computer logic.
- System design.
- Formal methods (Computer science)
- robotique.
- méthode formelle.
- logique formelle.
- ramification.
- Logique informatique.
- Systèmes, Conception de.
- Méthodes formelles (Informatique)
- Kunstmatige intelligentie.
- Inteligencia artificial (computacao)
- Logica matematica.
- Handlungslogik.
- Automatische Handlungsplanung.
