LEADER 01821nam 2200481zu 450 001 9910375905103321 005 20260115215233.0 010 $a1-4503-1269-1 035 $a(CKB)3780000000084631 035 $a(SSID)ssj0001138912 035 $a(PQKBManifestationID)11702486 035 $a(PQKBTitleCode)TC0001138912 035 $a(PQKBWorkID)11183022 035 $a(PQKB)10880582 035 $a(WaSeSS)IndRDA00012726 035 $a(Association for Computing Machinery)10.1145/2442829 035 $a(EXLCZ)993780000000084631 100 $a20160829d2012 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aISSAC 2012 : proceedings of the 37th International Symposium on Symbolic and Algebraic Computation : Grenoble, France, July 22-25, 2012 210 31$a[Place of publication not identified]$cACM$d2012 215 $a1 online resource (390 pages) 225 1 $aACM Other conferences 300 $aBibliographic Level Mode of Issuance: Monograph 410 0$aACM Other conferences 517 1 $aProceedings of the 37th International Symposium on Symbolic and Algebraic Computation 517 1 $aISSAC'12 International Symposium on Symbolic and Algebraic Computation, Grenoble, France - July 22 - 25, 2012 606 $aEngineering & Applied Sciences$2HILCC 606 $aComputer Science$2HILCC 615 7$aEngineering & Applied Sciences 615 7$aComputer Science 702 $aHoeven$b J. van der$g(Joris), 702 $aHoeij$b Mark van 712 02$aACM Digital Library. 801 0$bPQKB 906 $aBOOK 912 $a9910375905103321 996 $aISSAC 2012 : proceedings of the 37th International Symposium on Symbolic and Algebraic Computation : Grenoble, France, July 22-25, 2012$94526492 997 $aUNINA