Descrizione: Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, Europe Association for Theoretical Computer Science.

Summary goes here

Salvato in:

Dettagli Bibliografici
Natura:	Libro
Lingua:	inglese
Soggetti:	Computer science Logic, Symbolic and mathematical Computer programming Computer scienceMathematicsCongresses Logic, Symbolic and mathematicalCongresses Conference papers and proceedings
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!