Logic for applications /

Sábháilte in:
Sonraí bibleagrafaíochta
Príomhchruthaitheoir: Nerode, Anil
Rannpháirtithe: Shore, Richard A.
Formáid: LEABHAR
Teanga:Béarla
Foilsithe / Cruthaithe: New york : Springer-Verlag, 1997.
Eagrán:2nd ed.
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!