LEADER 02697nam  22004815  450 
001 996466140603316
005 20200706223720.0
010   $a3-540-39684-5
024 7 $a10.1007/3-540-15983-5
035   $a(CKB)1000000000230475
035   $a(SSID)ssj0000322986
035   $a(PQKBManifestationID)11242966
035   $a(PQKBTitleCode)TC0000322986
035   $a(PQKBWorkID)10296010
035   $a(PQKB)11754812
035   $a(DE-He213)978-3-540-39684-0
035   $a(PPN)155166441
035   $a(EXLCZ)991000000000230475
100   $a20121227d1985      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aEUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings$b[electronic resource] $eVolume 1: Invited Lectures /$fedited by Bruno Buchberger
205   $a1st ed. 1985.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1985.
215   $a1 online resource (VIII, 236 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v203
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-15983-5 
327   $aComputer algebra: Past and future -- MACSYMA: Capabilities and applications to problems in engineering and the sciences -- A preview of the next IBM-PC version of muMATH -- Current developments in LISP -- Computer algebra as a research tool in physics -- Symbolic computation and chemistry -- Computational geometry: Selected algorithms and paradigms -- Algebraic and symbolic computation in digital signal processing, coding and cryptography -- Computer algebra and practical analysis -- A new arithmetic for scientific computation with exact evaluation of expressions -- Algorithmic methods in automatic programming -- Proof theory and the synthesis of programs: Potential and limitations -- Constructions: A higher order proof system for mechanizing mathematics -- Scientific computation: The integration of symbolic, numeric and graphic computation.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v203
606   $aMathematical logic
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aMathematical logic.
615 14$aMathematical Logic and Formal Languages.
676   $a005.131
702   $aBuchberger$b Bruno$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466140603316
996   $aEUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings$92831223
997   $aUNISA