00815nam0-22003011i-450-99000088177040332120001010000088177FED01000088177(Aleph)000088177FED0100008817720001010d--------km-y0itay50------baitay-------001yyConstruction Guide for Soil and FoundationsNew YorkJohn Wiley1974.p.402ill.cm 23FondazioneFletcher,Gordon43154Smoots,Vernon AllenITUNINARICAUNIMARCBK99000088177040332103 F.0,363025IINTCIINTCConstruction Guide for Soil and Foundations356406UNINAING0101134nas 2200385-a 450 99633658600331620240413014408.01564-0310(CKB)1000000000524591(CONSER)sn-96058022-(MiFhGG)2HAZ(MiAaPQ)29196(EXLCZ)99100000000052459120760620c1952uuuu k-- -engtxtrdacontentcrdamediacrrdacarrierThe daily starBeirut, Lebanon Dar Al-Hayat1952-1 online resourceTitle also in Arabic."The leading English-language newspaper in the Middle East."Print version: Daily star (Beirut, Lebanon) (DLC)sn 96058022 (OCoLC)2260106 1027-3883 DAILY STARDly. starBeirut (Lebanon)NewspapersLebanonBeirutfastNewspapers.fastNewspaperNEWSPAPER996336586003316exl_impl conversionThe daily star2424210UNISA01467nam0 22003733i 450 UFI013932720251003044427.0026208181420080728d1989 ||||0itac50 baengusz01i xxxe z01nConstraint satisfaction in logic programmingPascal Van HentenryckCambridge (MA)LondonMIT pressc1989XVI, 224 p.24 cmLogic programmingBibliografia: P. [211]-220.001UBO00096722001 Logic programmingLogica matematicaApplicazioni alla programmazione degli elaboratori elettroniciFIRUFIC015487I005.1PROGRAMMAZIONE14005.115PROGRAMMAZIONE LOGICA22Logica simbolicaLogica matematica <Logica simbolica>Logica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Van Hentenryck, PascalRMSV016379070753435ITIT-00000020080728IT-BN0095 NAP 01SALA DING $UFI0139327Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.1 HEN.co 0102 0000011945 VMA A4 1 v.Y 1994070519940705 01Constraint satisfaction in logic programming1515684UNISANNIO