Treffer: Proceedings / Tenth Annual IEEE Symposium on Logic in Computer Science

Titel:

Proceedings / Tenth Annual IEEE Symposium on Logic in Computer Science : June 26 - 29, 1995, San Diego, California / ed. by Dexter Kozen

Verantwortlich:

Kozen, Dexter (Hrsg.)

Körperschaft:

Veröffentlicht:

Los Alamitos, Calif. [u.a.] : IEEE Computer Society Press, 1995

Umfang:

XIII, 518 S.

Publikationstyp:

Buch

Sprache:

Englisch

RVK-Notation:

Schlagworte:

ISBN:

0818670509

Zusatz-Informationen