Proceedings / 11th Annual IEEE Symposium on Logic in Computer Science July 27 - 30, 1996, New Brunswick, New Jersey

Gespeichert in:
1. Verfasser:
Vardi, Moshe Y. (HerausgeberIn)
Körperschaft:
Symposium on Logic in Computer Science New Brunswick, NJ
Format:
Tagungsbericht Buch
Sprache:
Englisch
Veröffentlicht:
Los Alamitos, Calif. [u.a.] IEEE Computer Soc. Press 1996
Bestände:
  • Geb. 25.22 1. Etage: matk196.n534
Umfang:
XV, 535 S. : graph. Darst.
ISBN:
0818674636
Schlagworte:
Theoretische Informatik
Mathematische Logik
Notationen:
Links: