LEADER 01469nam--2200385---450- 001 990002974830203316 005 20070919104242.0 010 $a92-825-6510-6 035 $a000297483 035 $aUSA01000297483 035 $a(ALEPH)000297483USA01 035 $a000297483 100 $a20070919d1986----km-y0itaa50------ba 101 0 $afre 102 $aLU 105 $ay---z---001yy 200 1 $aInventaire des impôts$eau profit de l'Etat et des collectivités locales (Länder, départements, régions, districts, provinces, communes )$fCommission des Communautés européennes, Direction générale institutions financières et fiscalité, Direction fiscalité 210 $aLuxembourg$cOffice des publications officielles des Communautés européennes$d1986 215 $aXXX-643 p.$d25 cm 225 2 $aDocument 410 1$12001$aDocument 517 $aInventaire des impôts perçus dans les Etats membres des Communautés européennes 606 0 $aDiritto tributario$yPaesi della Comunità europea 606 0 $aImposte$yPaesi della Comunità europea 676 $a343.404 699 $a11.01$bTassazione 712 02$aCOMMISSIONE EUROPEA :$bDirezione generale Fiscalità 801 0$aIT$bsalbc$gISBD 912 $a990002974830203316 951 $aCDE 11.01 (III)$bCDE 931$cCDE 11.01$d00147835 959 $aBK 969 $aCDE 979 $aMARIAS$b90$c20070919$lUSA01$h1042 996 $aInventaire des impôts$91027454 997 $aUNISA LEADER 01521nam2-2200433---450- 001 990003453120203316 005 20101012130642.0 035 $a000345312 035 $aUSA01000345312 035 $a(ALEPH)000345312USA01 035 $a000345312 100 $a20101012f1999----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $a||||||||001yy 200 1 $a<> : <> casa e l'arredamento$ela cucina: il fuoco e il focolare; utensili da cucina; la tavola, le stoviglie, i mobili; l'acqua, il rigovernare e la pulizia : carte 393-524$fmateriali raccolti da U. Pellis ... [et al.]$gredatto da L. Massobrio ... [et al.] 210 $aRoma$cIstituto poligrafico e Zecca dello Stato, Libreria dello Stato$d1999 215 $avolumi$d50 x 72 cm 300 $aIn custodia 300 $aPresso Fondo Paparelli 410 0$12001 454 1$12001 461 1$1001000343591$12001$aAtlante linguistico italiano 512 1 $aALI 607 $aItalia$xAtlanti linguistici 676 $a457.00223 702 1$aPELLIS,$bUgo 702 1$aMASSOBRIO,$bL. 710 02$aIstituto dell'Atlante linguistico italiano$0458657 712 02$aSocietà filologica friulana 801 0$aIT$bsalbc$gISBD$2UNIMARC 912 $a990003453120203316 951 $aIV.2. 2154 5$b219107 LM$cIV.2.$d00281565 959 $aBK 969 $aUMA 979 $aSENATORE$b90$c20101012$lUSA01$h1254 979 $aSENATORE$b90$c20101012$lUSA01$h1306 996 $aCasa e l'arredamento$91109045 997 $aUNISA LEADER 05533nam 22007095 450 001 996465850003316 005 20200705000745.0 010 $a3-540-70635-6 024 7 $a10.1007/3-540-61697-7 035 $a(CKB)1000000000234517 035 $a(SSID)ssj0000322531 035 $a(PQKBManifestationID)11227155 035 $a(PQKBTitleCode)TC0000322531 035 $a(PQKBWorkID)10287812 035 $a(PQKB)10861331 035 $a(DE-He213)978-3-540-70635-9 035 $a(PPN)155236733 035 $a(EXLCZ)991000000000234517 100 $a20121227d1996 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDesign and Implementation of Symbolic Computation Systems$b[electronic resource] $eInternational Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings /$fedited by Jacques Calmet, Carla Limongelli 205 $a1st ed. 1996. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1996. 215 $a1 online resource (IX, 362 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1128 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-61697-7 327 $aProblem-oriented applications of automated theorem proving -- ?IT ? A strongly-typed embeddable computer algebra library -- DiscAtinf: A general framework for implementing calculi and strategies -- Equality elimination for the tableau method -- Towards lean proof checking -- WALDMEISTER: High performance equation theorem proving -- A reflective language based on conditional term rewriting -- Term rewriting systems: An h-categorical semantic -- Generative geometric modeling in a functional environment -- Exploiting SML for experimenting with algebraic algorithms: The example of p-adic lifting -- Conditional categories and domains -- Parameterizing object specifications -- Analyzing the dynamics of a Z specification -- Walking faster -- Integer and rational arithmetic on masPar -- Parallel 3-primes FFT algorithm -- A master-slave approach to parallel term rewriting on a hierarchical multiprocessor -- Multi-agent cooperation ? Concepts and applications -- Document-centered presentation of computing software: Compound documents are better workspaces -- Animating a non-executable formal specification with a distributed symbolic language -- Uniform representation of basic algebraic structures in computer algebra -- Integrating computer algebra with proof planning -- Structures for symbolic mathematical reasoning and computation -- Implementing FS0 in Isabelle: Adding structure at the metalevel -- An approach to class reasoning in symbolic computation -- An intelligent interface to numerical routines -- Computer algebra and the World Wide Web -- Interfacing REDUCE to Java -- Software architectures for computer algebra: A case study -- A deductive database for mathematical formulas -- CASA ? A system for Computer Aided Constructive Algebraic geometry -- Making systems communicate and cooperate: The Central Control approach -- A database for number fields -- Compiling residuation for a multiparadigm symbolic programming language -- Pluggability issues in the Multi Protocol. 330 $aThis book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1996. The volume includes four invited contributions surveying the state of the art in a particular subfield or pointing to some new research directions together with 31 revised full papers selected from a total of some 70 submissions. Many current aspects of mathematical software systems, as employed e.g. in computer algebra, automated theorem proving, or al- gebraic specification are addressed. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1128 606 $aComputers 606 $aComputer science?Mathematics 606 $aAlgorithms 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 606 $aAlgorithms$3https://scigraph.springernature.com/ontologies/product-market-codes/M14018 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aComputers. 615 0$aComputer science?Mathematics. 615 0$aAlgorithms. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 14$aTheory of Computation. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aAlgorithms. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aArtificial Intelligence. 676 $a005.1/31 702 $aCalmet$b Jacques$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLimongelli$b Carla$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Symposium DISCO '96 906 $aBOOK 912 $a996465850003316 996 $aDesign and Implementation of Symbolic Computation Systems$92830258 997 $aUNISA