LEADER 03645nam  22007575  450 
001 996465663303316
005 20230406053003.0
010   $a3-642-21070-8
024 7 $a10.1007/978-3-642-21070-9
035   $a(CKB)2670000000083945
035   $a(SSID)ssj0000530608
035   $a(PQKBManifestationID)11332940
035   $a(PQKBTitleCode)TC0000530608
035   $a(PQKBWorkID)10568313
035   $a(PQKB)10583319
035   $a(DE-He213)978-3-642-21070-9
035   $a(MiAaPQ)EBC3066794
035   $a(PPN)15386284X
035   $a(EXLCZ)992670000000083945
100   $a20110607d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aRelational and Algebraic Methods in Computer Science$b[electronic resource] $e12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings /$fedited by Harrie de Swart
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (VIII, 363 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6663
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-21069-4 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the proceedings of the 12 International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011, held in Rotterdam, The Netherlands, in May/June 2011. This conference merges the RelMICS (Relational Methods in Computer Science) and AKA (Applications of Kleene Algebra) conferences, which have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools.  Relational and algebraic methods and software tools turn out to be useful for solving problems in social choice and game theory. For that reason this conference included a special track on Computational Social Choice and Social Software. The 18 papers included were carefully reviewed and selected from 27 submissions. In addition the volume contains 2 invited tutorials and 5 invited talks.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6663
606   $aMachine theory
606   $aComputer science?Mathematics
606   $aComputer science
606   $aSoftware engineering
606   $aComputer simulation
606   $aArtificial intelligence
606   $aFormal Languages and Automata Theory
606   $aSymbolic and Algebraic Manipulation
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aComputer Modelling
606   $aArtificial Intelligence
615  0$aMachine theory.
615  0$aComputer science?Mathematics.
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aComputer simulation.
615  0$aArtificial intelligence.
615 14$aFormal Languages and Automata Theory.
615 24$aSymbolic and Algebraic Manipulation.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aComputer Modelling.
615 24$aArtificial Intelligence.
676   $a005.131
702   $ade Swart$b Harrie$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aRAMICS (Conference)
906   $aBOOK
912   $a996465663303316
996   $aRelational and Algebraic Methods in Computer Science$92201468
997   $aUNISA