Logic for applications /

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Nerode, Anil
Weitere Verfasser: Shore, Richard A.
Format: Buch
Sprache:Englisch
Veröffentlicht: New york : Springer-Verlag, 1997.
Ausgabe:2nd ed.
Schriftenreihe:Graduate texts in computer science
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!