01347nam--2200409---450-9900003194602033163-540-67797-60031946USA010031946(ALEPH)000031946USA010031946--------d--------km-y0itay0103----baengDE||||||||001yyComputational logic - CL 2000first international conferenceLondon, UK, July 24-28, 2000proceedingsJohn Lloyd ...<et al.> (eds.)BerlinoSpringer-Verlagc2000XIX, 1379 p.ill.20 cmLecture notes artificial intelligence18612001Lecture notes artificial intelligence001-------2001Elaborazione elettronicaCongressi2000Logica matematicaCongressi2000CongressiLondra2000004LLOYD,JohnITsalbcISBD990000319460203316006.3 LNIA (1861)CBS 002554800600103182BKSCIPATTY9020010108USA011114ALANDI9020010402USA01165520020403USA011640PATRY9020040406USA011622Computational logic - CL 2000878886UNISA