Mathematical foundations of computer science. 1. Sets, relations, and induction

Peter A. Fejer
Bok Engelsk 1991


Utgitt	New York : Springer-Verlag , c1991
Omfang	x, 425 s.
Emner	Computer science - Mathematics Algoritmer Beregnbarhet Beregnbarhetsteori : (NO-TrBIB)REAL000213 Vis mer... Databaser Diagonalisering Formelle språk Induksjon Lineær algebra : (NO-TrBIB)REAL012467 Matematikk Matematikk - Databehandling Mengder Relasjoner Semantikk Tellbarhet Verifikasjon
ISBN	0387974504. - 3540974504

Biblioteksøk