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 /

Saved in:
Bibliographic Details
Corporate Authors: International Seminar on Relational Methods in Computer Science St. Catharines, Ont., European Cooperation in the Field of Scientific and Technical Research (Organization). COST Action 274 TARSKI (Project). Workshop, International Workshop on Applications of Kleene Algebra
Other Authors: MacCaull, Wendy, Winter, Michael (Professor), Düntsch, Ivo
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, ©2006.
Berlin ; New York : [2006]
Series:Lecture notes in computer science ; 3929.
Physical Description:
1 online resource (viii, 262 pages) : illustrations.
Subjects:
Computer science -- Congresses.
Relationism -- Congresses.
Algebra -- Computer programs -- Congresses.
Relation algebras -- Congresses.
wiskunde.
mathematics.
computerwetenschappen.
computer sciences.
kunstmatige intelligentie.
artificial intelligence.
logica.
logic.
software engineering.
algebra.
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Online Access:SpringerLink - Click here for access
Holdings details from CMU Electronic Access C502
Copy 1 CMU Electronic Access Available

Internet

SpringerLink - Click here for access

Similar Items