Logic for applications /

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Prif Awdur: Nerode, Anil
Awduron Eraill: Shore, Richard A.
Fformat: Llyfr
Iaith:Saesneg
Cyhoeddwyd: New york : Springer-Verlag, 1997.
Rhifyn:2nd ed.
Cyfres:Graduate texts in computer science
Pynciau:
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!