LEADER 01359nam0-22003971i-450- 001 990005423830203316 005 20010829120000.0 035 $a000542383 035 $aUSA01000542383 035 $a(ALEPH)000542383USA01 035 $a000542383 100 $a20010829d1990-------|0itac50------ba 101 $aita 102 $aIT 105 $a||||Z 1|||| 200 1 $a<> settore dell'automazione industriale in Lombardia$estrategie di competizion e e cooperazione tra imprese produttrici$fdi Sergio Mariotti e Alberto Riva$gc oordinatori Mario Benassi ...[et. al.] 210 $dMilano : Franco Angelicopyr. 1990 - 1 93 p. ; 22 cm 225 2$aCollana IReR$v43 410 1$12001$aCollana IReR$v43 620 $dMilano 676 $a338.454$cProduzione - Emilia -Romagna$v21 700 1$aMARIOTTI,$bSergio$0471283 701 1$aRIVA,$bAlberto$0124029 702 1$aBENASSI,$bMario 801 $aIT$bSOL$c20120104 912 $a990005423830203316 950 $aDIP.TO SCIENZE ECONOMICHE - (SA)$dDS 300 338.454 MAR$e4323 DISES 951 $a300 338.454 MAR$b4323 DISES 959 $aBK 969 $aDISES 979 $c20121027$lUSA01$h1531 979 $c20121027$lUSA01$h1612 979 $aPATRY$b90$c20130319$lUSA01$h1314 996 $aSettore dell'automazione industriale in Lombardia$91142697 997 $aUNISA NUM $aUSA1206 LEADER 01987nam 2200409Ia 450 001 996393948703316 005 20200824132752.0 035 $a(CKB)3810000000005574 035 $a(EEBO)2240943483 035 $a(OCoLC)ocm12191690e 035 $a(OCoLC)12191690 035 $a(EXLCZ)993810000000005574 100 $a19850624d1676 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 00$aChina and France, or, Two treatises$b[electronic resource] $ethe one, of the present state of China as to the government, customs, and manners of the inhabitants thereof ... from the observation of two Jesuites lately returned from that country, written and published by the French Kings cosmographer and now Englished : the other, containing the most remarkable passages of the reign and life of the present French King, Lewis the Fourteenth, and of the valour of our English in his armies 210 $aLondon $cPrinted by T.N. for Samuel Lowndes ...$d1676 215 $a[2], 220 p 300 $aFirst treatise is an account compiled by Count Lorenzo Magalotti of the travels of Johann Grueber and Albert d'Orville. It was translated into French by Melchisédech Thévenot, that translation subsequently being rendered into English. Cf. BM. 300 $aSecond treatise has special t.p. dated 1675. 300 $aReproduction of original in Yale University Library. 330 $aeebo-0198 607 $aChina$xDescription and travel 607 $aFrance$xHistory$yLouis XIV, 1643-1715 701 2$aMagalotti$b Lorenzo$cconte,$f1637-1712.$071708 701 $aGrueber$b Johann$f1623-1680.$0654634 701 $aOrville$b Albert$ccomte d',$f1621-1662.$01007916 701 $aThe?venot$cM.$g(Melchise?dech),$f1620?-1692.$01004848 801 0$bEAA 801 1$bEAA 801 2$bm/c 801 2$bEAA 801 2$bWaOLN 906 $aBOOK 912 $a996393948703316 996 $aChina and France, or, Two treatises$92323270 997 $aUNISA LEADER 03931nam 22008415 450 001 9910484378903321 005 20251226195127.0 010 $a3-319-21362-8 024 7 $a10.1007/978-3-319-21362-0 035 $a(CKB)3710000000454189 035 $a(SSID)ssj0001558446 035 $a(PQKBManifestationID)16183738 035 $a(PQKBTitleCode)TC0001558446 035 $a(PQKBWorkID)14819075 035 $a(PQKB)10105797 035 $a(DE-He213)978-3-319-21362-0 035 $a(MiAaPQ)EBC6298342 035 $a(MiAaPQ)EBC5586795 035 $a(Au-PeEL)EBL5586795 035 $a(OCoLC)914299706 035 $a(PPN)187688745 035 $a(EXLCZ)993710000000454189 100 $a20150717d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated Deduction in Geometry $e10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /$fedited by Francisco Botana, Pedro Quaresma 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (IX, 181 p. 54 illus.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v9201 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-319-21361-X 320 $aIncludes bibliographical references and index. 327 $aStar Unfolding Polygons -- Volume Frameworks and Deformation Varieties -- Recent Advances in Real Geometric Reasoning -- The Relation Tool in GeoGebra -- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems -- Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons -- Extension of Simson-Wallace Theorem on Skew Quadrilaterals -- Current Status of the I2GATP Common Format -- On Flattenability of Graphs -- Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams -- Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems. 330 $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v9201 606 $aArtificial intelligence 606 $aComputer graphics 606 $aMachine theory 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aSoftware engineering 606 $aArtificial Intelligence 606 $aComputer Graphics 606 $aFormal Languages and Automata Theory 606 $aSymbolic and Algebraic Manipulation 606 $aDiscrete Mathematics in Computer Science 606 $aSoftware Engineering 615 0$aArtificial intelligence. 615 0$aComputer graphics. 615 0$aMachine theory. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aSoftware engineering. 615 14$aArtificial Intelligence. 615 24$aComputer Graphics. 615 24$aFormal Languages and Automata Theory. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aSoftware Engineering. 676 $a516.00285 702 $aBotana$b Francisco$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aQuaresma$b Pedro$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484378903321 996 $aAutomated Deduction in Geometry$9772173 997 $aUNINA