Logic for applications /

Bewaard in:
Bibliografische gegevens
Hoofdauteur: Nerode, Anil
Andere auteurs: Shore, Richard A.
Formaat: Boek
Taal:Engels
Gepubliceerd in: New york : Springer-Verlag, 1997.
Editie:2nd ed.
Reeks:Graduate texts in computer science
Onderwerpen:
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!