Logic for applications /

Saved in:

Bibliografiske detaljer
Hovedforfatter:	Nerode, Anil
Andre forfattere:	Shore, Richard A.
Format:	Bog
Sprog:	engelsk
Udgivet:	New york : Springer-Verlag, 1997.
Udgivelse:	2nd ed.
Serier:	Graduate texts in computer science
Fag:	Computer science > Mathematics. Logic, Symbolic and mathematical.
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Library INP: MAIN

Detaljer om beholdninger fra Library INP: MAIN
Klassifikationsnummer:	005.1 A L
Kopi Unknown	Tilgængelig Reservér”