Logic for applications /

Sábháilte in:
Sonraí bibleagrafaíochta
Príomhchruthaitheoir: Nerode, Anil (autor)
Rannpháirtithe: Shore, Richard A. (autor) (autor)
Formáid: LEABHAR
Teanga:Béarla
Foilsithe / Cruthaithe: Nueva York, EUA : Springer, 1997, c1997
Eagrán:2a edición
Sraith:(Graduate Texts in Computer Science)
Ábhair:
Clibeanna: Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
Cur síos
Cur síos fisiciúil:456 p.
ISBN:0-387-94893-7