01037nam 2200349 450 991037633800332120230901160121.01-4503-4380-5(CKB)3710000000824354(Non_Seri)133367(NjHacI)993710000000824354(EXLCZ)99371000000082435420230818d2016 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierISSAC 2016 proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation /Markus RosenkranzNew York :ACM,2016.1 online resource (422 pages)Includes index.AlgebraData processingAlgebraData processing.512.0285Rosenkranz Markus1971-1146839NjHacINjHaclBOOK9910376338003321ISSAC 20163503744UNINA