01428nam a2200349 i 450099100070850970753620020507172544.0940727s1984 us ||| | eng 082185027Xb1074616x-39ule_instLE01301044ExLDip.to Matematicaeng511.3AMS 03B35AMS 68-XXQA76.9.A96Special session on Automatic theorem proving <1983 ; Denver>534748Automated theorem proving :after 25 years /eds. W. W. Bledsoe, D. W. LovelandProvidence, R. I. :American Mathematical Society,1984ix, 360 p. ;26 cm.Contemporary mathematics,0271-4132 ;29Includes bibliographies."Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983"-T.p. versoAutomatic theorem provingCongressesBledsoe, W. W.Loveland, Donald W..b1074616x23-02-1728-06-02991000708509707536LE013 68-XX BLE11 (1984)12013000001951le013-E0.00-l- 01010.i1083842928-06-02Automated theorem proving910584UNISALENTOle01301-01-94ma -engus 0101261nam a2200301 a 4500991002341109707536121105m20122014it a b||| 000 0 ita|d978887689271403919293b14158802-39ule_instDip.to Beni CulturaliitaNati, Danilo479129Ceramica attica a figure nere nel Museo Archeologico Nazionale di Tarquinia /Danilo NatiRoma :G. Bretschneider,2012XIV, 166 p., CII p. di tav. :ill. ;24 cm.Materiali del Museo archeologico nazionale di Tarquinia ;20Archaeologica ;168v. 1.1. La collezione Bruschi FalgariMuseo archeologico nazionale di TarquiniaVasi greciCatalogoCeramiche attiche a figure nereCatalogoVasiItaliaTarquiniaCatalogo.b1415880216-06-1404-11-13991002341109707536LE001 AR III 353 4°12001000181988le001pE110.00-l- 00000.i1560941805-05-14Ceramica attica a figure nere nel Museo Archeologico Nazionale di Tarquinia260916UNISALENTOle00104-11-13ma -itait 00