Logic in Computer Science LICS '96 Proceedings of the 11th Annual IEEE Symposium New Brunswick, New Jersey , July 27-30, 1996
Μορφή: | Βιβλίο |
---|---|
Γλώσσα: | English |
Έκδοση: |
Los Alamitos California
IEEE Computer Society Press
c1996
|
Θέματα: |
ΒΚΠ - Πατρα: ALFf
Ταξιθετικός Αριθμός: |
005.131 LOG |
---|---|
Αντίγραφο 1 | Στη βιβλιοθήκη |