01514nam2-2200409li-450 99000020103020331620180312154749.03-540-66222-70020103USA010020103(ALEPH)000020103USA01002010320001109d1999----km-y0itay0103----baengGWAutomated deduction - CADE-1616th International conference on automated deductionTrento, Italy,July 7-10, 1999proceedingsHarald Ganzinger (ed.)BerlinoSpringer-Verlagcopyr. 1999XIV, 428 p.ill.23 cmLecture notes in artificial intelligence163200100199922001Lecture notes in artificial intelligenceintelligenza artificialecongressi1999logica matematicacongressi1999005131Logica matematica (Logica simbolica)Ganzinger,HaraldInternational conference on automated deduction16.Trento1999753448Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000201030203316006.3 LNIA (1632)0023803006.300106799BKSCI1999011920001110USA011713ALANDI9020010402USA01131720020403USA011628PATRY9020040406USA011614Automated deduction - CADE-161515700UNISA01279nam a2200325 i 450099100086439970753620020507102459.0940314s1976 de ||| | eng 3540080031b10140323-39ule_instLE00638185ExLDip.to Fisicaita52.9.3453(06)53.6.3510.65International Symposium on computing methods in applied sciences461447Computing methods in applied sciences :2nd International Symposium, December 15-19, 1975 /edited by R. Glowinski and J.L. LionsBerlin :Springer,1976viii, 593 p. :ill. ;24 cm.International Symposium on computing methods in applied sciences ;2Lecture notes in physics / edited by J. Ehlers...[et al.] ;58Glowinski, RolandLions, Jacques Louis.b1014032317-02-1727-06-02991000864399707536LE006 510.62+510.65 GLO12006000023467le006-E0.00-l- 00000.i1016658027-06-02Computing methods in applied sciences186673UNISALENTOle00601-01-94ma -engde 01