Logic for applications /

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Nerode, Anil (autor)
Weitere Verfasser: Shore, Richard A. (autor)
Format: Buch
Sprache:Englisch
Veröffentlicht: Nueva York, EUA : Springer, 1997, c1997
Ausgabe:2a edición
Schriftenreihe:(Graduate Texts in Computer Science)
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!