Search:

Type:

Format:

Library:

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers Cover Image

E-book

E-book

Relational Methods in Computer Science [electronic resource] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / edited by Wendy MacCaull, Michael Winter, Ivo Düntsch.

MacCaull, Wendy. (editor.). Winter, Michael. (editor.). Düntsch, Ivo. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783540333401
Physical Description: VIII, 263 p. Also available online. online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Search for related items by subject

Subject:

Computer science.
Software engineering.
Logic design.
Computational complexity.
Algebra > Data processing.
Artificial intelligence.
Computer Science.
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Symbolic and Algebraic Manipulation.
Artificial Intelligence (incl. Robotics).
Discrete Mathematics in Computer Science.

Search for related items by series

Add to basket View My Basket Print Email Permalink Disable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

▼ Additional Content

No Content Available

► Shelf Browser

► MARC Record