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 0101034nam--2200361---450-99000146968020331620051012160238.0000146968USA01000146968(ALEPH)000146968USA0100014696820040302d1966----km-y0itay0103----baitaIT||||||||001yyLettere ai FamiliariMarcus Tullius CiceroTesto e versione di Giulio Giannelli1. 4.MilanoMondadori1966360 p.19 cm20012001001-------2001CICERO,Marcus Tullius82411GIANNELLI,GiulioITsalbcISBD990001469680203316V.3. Coll.7/ 9(VIII A 11/9)21692 L.M.VIII ABKUMASIAV21020040302USA011432PATRY9020040406USA011743COPAT69020051012USA011602Epistulae14923UNISA02775oas 2201201 a 450 991014288950332120251105213014.01872-8324(DE-599)ZDB1496359-0(DE-599)1496359-0(OCoLC)38871170(CONSER) 2004233123(CKB)954925510418(EXLCZ)9995492551041819980331a19749999 sy aengurmnu||||||||txtrdacontentcrdamediacrrdacarrierBio systems[Amsterdam] Elsevier Science0303-2647 BiosystemsBiologyPeriodicalsEvolutionPeriodicalsBiologyEvolution (Biology)BiologyBiological EvolutionBiologyPeriodicalsEvolutionPeriodicalsBiologiePériodiquesÉvolutionPériodiquesBiologieÉvolution (Biologie)biologyaatevolutionaatEvolution (Biology)fast(OCoLC)fst00917302Evolutionfast(OCoLC)fst00917265Biologyfast(OCoLC)fst00832383Periodicals.fastPeriodicals.lcgftBiologyEvolutionBiology.Evolution (Biology)Biology.Biological Evolution.BiologyEvolutionBiologieÉvolutionBiologie.Évolution (Biologie)biology.evolution.Evolution (Biology)Evolution.Biology.OH1OH1OCLOCLCQGUAOCLCQU9SGUAOCLCQUKMGBPFMLGGOCLCQOCLCOOCLCQOCLCFOCLCOVT2OCLCQOCLCOOCLCQOCLCONLEAU@OCLCOWYUU3WOCLCOCGUOCLCOOCLCAOCLCOQGKOCLCOOCLCQOCLUABAUDOCLCQJOURNAL9910142889503321Bio systems3869882UNINA