LEADER 01692nam2-2200433li-450 
001 990000201710203316
005 20180312154738.0
010   $a3-540-64406-7
035   $a0020171
035   $aUSA010020171
035   $a(ALEPH)000020171USA01
035   $a0020171
100   $a2001999021998-------y0itay0103----ba
101 0 $aeng
102   $aGW
200 1 $aAutomated reasoning with analytic tableaux and related methods$eInternational conference, TABLEAUX'98$eOisterwijk, The Netherlands, May 5-8, 1998$eproceedings$fHarrie de Swart (ed.)
210   $aBerlin$cSpringer-Verlag$dcopyr. 1998
215   $aX,324 p.$cill.$d23 cm
225 2 $aLecture notes in artificial intelligence$v1397
300   $aserie principale: lecture notes incomputer science
410  0$10010019992$12001$aLecture notes in artificial intelligence
610 1 $acongressi$aoisterwijk (the netherlands)$a1998
610 1 $aelaborazione parallela$acongressi$a1998
610 1 $aintelligenza artificiale$acongressi$a1998
676   $a0063$9Intelligenza artificiale [precedent. 001.535]
702  1$aSwart,$bHarrie de
710 12$aInternational TABLEAUX '98$eOisterwijk (The Netherlands)$f1998$0747208
801   $aSistema bibliotecario di Ateneo dell' Universitā di Salerno$gRICA
912   $a990000201710203316
951   $a006.3 LNAI (1397)$b0022689
959   $aBK
969   $aSCI
979   $c19990213
979   $c20001110$lUSA01$h1714
979   $c20020403$lUSA01$h1628
979   $aPATRY$b90$c20040406$lUSA01$h1614
979   $aANGELA$b90$c20081201$lUSA01$h1320
996   $aAutomated reasoning with analytic tableaux and related methods$91492503
997   $aUNISA

LEADER 01733nam  2200541   450 
001 9910271005403321
005 20230809223249.0
010   $a1-119-41368-0
010   $a1-119-41340-0
010   $a1-119-41371-0
035   $a(CKB)3710000001108905
035   $a(MiAaPQ)EBC4825472
035   $a(Au-PeEL)EBL4825472
035   $a(CaPaEBR)ebr11363634
035   $a(CaONFJC)MIL1002095
035   $a(OCoLC)978999919
035   $a(EXLCZ)993710000001108905
100   $a20170404h20172017  uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $2rdacontent
182   $2rdamedia
183   $2rdacarrier
200 10$aMechanics of aeronautical solids, materials and structures /$fChristophe Bouvet
210  1$aLondon, England ;$aHoboken, New Jersey :$cISTE :$cWiley,$d2017.
210  4$dŠ2017
215   $a1 online resource (309 pages) $cillustrations (some color)
225 1 $aMechanical Engineering and Solid Mechanics Series
311   $a1-78630-115-6 
320   $aIncludes bibliographical references and index.
410  0$aMechanical engineering and solid mechanics series.
606   $aAerospace engineering
606   $aEnginyeria aeroespacial$2lemac
606   $aEnginyeria mecānica$2lemac
606   $aMechanical engineering
615  0$aAerospace engineering.
615  7$aEnginyeria aeroespacial.
615  7$aEnginyeria mecānica
615  0$aMechanical engineering.
676   $a629.1
700   $aBouvet$b Christophe$0890840
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910271005403321
996   $aMechanics of aeronautical solids, materials and structures$92166084
997   $aUNINA