01069nam--2200349---450-9900003500902033160035009USA010035009(ALEPH)000035009USA01003500920010306d1980----km-y0itay0103----baengDE||||||||001yyUsing sophisticated models in resolution theorem provingBerlinSpringer Verlag1980XI, 239 p.ill.24 cmLecture notes in computer science902001Lecture notes in computer science90001-------2001001.535SANDFORD,David M.48555ITsalbcISBD990000350090203316001 LNCS 90001.535001 LNCS00101432BKSCIPATTY9020010306USA01170920020403USA011643PATRY9020040406USA011624Using Sophisticated Models in Resolution Theorem Proving339676UNISA