01266nam--2200433---450-99000118765020331620031008145956.00-387-94893-7000118765USA01000118765(ALEPH)000118765USA0100011876520031008d1997----km-y0itay0103----baengUS||||||||001yyLogic for applicationAni Nerode, Richard A. Shore2. ed.New York [etc.]Springercopyr. 1997XIII,456 p.24 cmGraduate texts in computer science2001Graduate texts in computer science2001001-------2001Matematica applica agli elaboratoriLogica simbolicaLogica matematica005.101 511 3 NERNERODE,Anil48991SHORE,Richard A.542234ITsalbcISBD990001187650203316005.101 511 3 NER10375 Ing.005.101 511BKTECSIAV31020031008USA011459PATRY9020040406USA011725Logic for application982770UNISA