01640nam--2200457---450-9900003199302033163-540-67664-30031993USA010031993(ALEPH)000031993USA010031993--------d--------km-y0itay0103----baengDE||||||||001yyAutomated deduction - CADE 1717th international conference on automated deductionPittsburg, PA, USA, June 17-20, 2000 proceedingsDavid McAllester (ed.)BerlinoSpringer-Verlagc2000XII, 512 p.ill.25 cmLecture notes in arteficial intelligence1831Serie principale Lecture notes in computer science2001Lecture notes in arteficial intelligence001-------2001Intelligenza artificialeCongressi2000Logica matematicaCongressi2000Logica simbolicaCongressi2000CongressiPiisburg2000006.3McALLESTER,DavidInternational conference on Automated Deduction <17.; 2000; Pittsburg>ITsalbcISBD990000319930203316006.3 LNIA (1831)CBS 0025596006.300103204BKSCIPATTY9020010108USA011333ALANDI9020010402USA011643ALANDI9020010405USA01102420020403USA011640PATRY9020040406USA011622Automated deduction - CADE 17878943UNISA