01000nam0-2200349---450-99000099640040332120091130144853.00-7204-0499-1000099640FED01000099640(Aleph)000099640FED0100009964020001205d1978----km-y0itay50------baengNLY-------001yyAutomated theorem provinga logical basisDonald W. LovelandAmsterdam [etc.]North-Holland1978xii, 405 p.ill.23 cmFundamental studies in computer science6CiberneticaTeoria dei giochiTeoria degli automiIntelligenza artificialeLoveland,Donald W.47020ITUNINARICAUNIMARCBK9900009964004033218-128.00510710FI1FI1Automated theorem proving354141UNINA01353nam 2200385Ka 450 991069580330332120241016002357.0(CKB)5470000002373763(OCoLC)145898184(EXLCZ)99547000000237376320070628d1986 ua 0engtxtrdacontentcrdamediacrrdacarrierCaribbean markets for U.S. wood products /Harold W. Wisdom, James E. Granskog, and Keith A. BlatnerNew Orleans, La. :U.S. Dept. of Agriculture, Forest Service, Southern Forest Experiment Station,[1986]13 pages digital, PDF fileResearch paper SO ;225Title from title screen (viewed June 27, 2007)"July 1986."Forest products industryUnited StatesWood productsCaribbean AreaForest products industryWood productsWisdom Harold W1401743Granskog James E1401744Blatner Keith A(Keith Allan),1952-1771974Southern Forest Experiment Station (New Orleans, La.)GPOGPOBOOK9910695803303321Caribbean markets for U.S. wood products4268630UNINA