Record ID | ia:symbolicalgebrai0000inte |
Source | Internet Archive |
Download MARC XML | https://archive.org/download/symbolicalgebrai0000inte/symbolicalgebrai0000inte_marc.xml |
Download MARC binary | https://www.archive.org/download/symbolicalgebrai0000inte/symbolicalgebrai0000inte_meta.mrc |
LEADER: 04717cam 2200853 a 4500
001 ocm19778390
003 OCoLC
005 20201004214342.0
008 890510s1989 gw a b 101 0 eng
010 $a 89011345
040 $aDLC$beng$cDLC$dUBA$dMUQ$dNLGGC$dBTCTA$dBAKER$dYDXCP$dZWZ$dAUD$dBDX$dGBVCP$dMUU$dOCLCO$dOCLCA$dOCLCF$dOCLCQ$dOCLCO$dOCLCQ$dOCL$dOCLCO$dOCLCQ$dGILDS$dUWO$dUKBTH$dMM9
019 $a230127443$a1171208894
020 $a0387510842$q(U.S. ;$qalk. paper)
020 $a9780387510842$q(U.S. ;$qalk. paper)
020 $a3540510842
020 $a9783540510840
035 $a(OCoLC)19778390$z(OCoLC)230127443$z(OCoLC)1171208894
037 $cCIP entry
050 00 $aQA76.95$b.I57 1988
080 0 $a518.24
082 00 $a004/.01/51$220
084 $a54.10$2bcl
084 $a*68-06$2msc
084 $a03B35$2msc
084 $a11Y16$2msc
084 $a11Y40$2msc
084 $a54.71$2bcl
084 $a68Q42$2msc
084 $a68U05$2msc
084 $a68W30$2msc
111 2 $aInternational Symposium on Symbolic and Algebraic Computation$d(1988 :$cRome, Italy)
245 10 $aSymbolic and algebraic computation :$bInternational Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings /$cP. Gianni, ed.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c©1989.
300 $axi, 543 pages :$billustrations ;$c25 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aLecture notes in computer science ;$v358
500 $aConference held jointly with AAECC-6.
504 $aIncludes bibliographical references.
520 $a"The ISSAC'88 is the thirteenth conference in a sequence of international events started in 1966 thanks to the then established ACM Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM). For the first time the two annual conferences "International Symposium on Symbolic and Algebraic Computation" (ISSAC) and "International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes" (AAECC) have taken place as a Joint Conference in Rome, July 4-8, 1988. Twelve invited papers on subjects of common interest for the two conferences are included in the proceedings and divided between this volume and the preceding volume of Lecture Notes in Computer Science which is devoted to AAECC-6. This book contains contributions on the following topics: Symbolic, Algebraic and Analytical Algorithms, Automatic Theorem Proving, Automatic Programming, Computational Geometry, Problem Representation and Solution, Languages and Systems for Symbolic Computation, Applications to Sciences, Engineering and Education."--Publisher's website.
650 0 $aMathematics$xData processing$vCongresses.
650 0 $aAlgebra$xData processing$vCongresses.
650 6 $aMathématiques$xInformatique$vCongrès.
650 6 $aAlgèbre$xInformatique$vCongrès.
650 7 $aAlgebra$xData processing.$2fast$0(OCoLC)fst00804890
650 7 $aMathematics$xData processing.$2fast$0(OCoLC)fst01012179
650 17 $aComputerwiskunde.$2gtt
650 17 $aSymbolische logica.$2gtt
650 7 $aProgramacao De Computadores.$2larpcal
650 7 $aTeoria Da Computacao.$2larpcal
650 7 $aAlgoritmos E Estruturas De Dados.$2larpcal
650 7 $aAlgèbre$xInformatique.$2ram
650 7 $aMathématiques$xInformatique.$2ram
655 4 $aCongresses.
655 7 $aConference papers and proceedings.$2fast$0(OCoLC)fst01423772
700 1 $aGianni, P.$q(Patrizia),$d1952-
711 2 $aAAECC-6$d(1988 :$cRome, Italy)
776 08 $iOnline version:$aInternational Symposium ISSAC '88 (1988 : Rome, Italy).$tSymbolic and algebraic computation.$dBerlin; New York : Springer-Verlag, ©1989$w(OCoLC)556893195
830 0 $aLecture notes in computer science ;$v358.
856 42 $uhttp://www.zentralblatt-math.org/zmath/en/search/?an=0706.68006$3Inhaltstext
856 4 $uhttp://www.acm.org/pubs/contents/proceedings/series/issac$zTexte intégral accessible en intranet pour l'Inria
856 4 $zConnect to Internet resource$xLNCS$uhttps://www.lib.uwo.ca/cgi-bin/ezpauthn.cgi?url=http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=358
938 $aBaker & Taylor$bBKTY$c93.00$d93.00$i0387510842$n0001625378$sactive
938 $aBrodart$bBROD$n40746712$c$39.50
938 $aBaker and Taylor$bBTCP$n89011345
938 $aYBP Library Services$bYANK$n3660406
029 1 $aAU@$b000006468900
029 1 $aGBVCP$b022564462
029 1 $aNLGGC$b05532214X
029 1 $aNZ1$b3539073
029 1 $aZWZ$b021148953
994 $aZ0$bP4A
948 $hHELD BY P4A - 236 OTHER HOLDINGS