Cover image for 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
Title:
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
Author:
MacCaull, Wendy. editor.
ISBN:
9783540333401
Physical Description:
VIII, 263 p. Also available online. online resource.
Series:
Lecture Notes in Computer Science, 3929
Series Title:
Lecture Notes in Computer Science, 0302-9743 ; 3929
Subject Term:
Computer science.

Software engineering.

Logic design.

Computational complexity.

Algebra -- Data processing.

Artificial intelligence.
Added Author:
Winter, Michael.

Düntsch, Ivo.
Added Corporate Author:
SpringerLink (Online service)
Electronic Access:
http://dx.doi.org/10.1007/11734673
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
 E-Book 183707-2001 ONLINE
Searching...

On Order