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
• Θέματα: COMPUTER SCIENCE; IEEE; Λογική, Συμβολική και μαθηματική; PROCEEDINGS; ΕΘΕΥ; ΠΡΑΚΤΙΚΑ ΣΥΝΕΔΡΙΩΝ
• Περιγραφή τεκμηρίου: περιέχει βιβλιογραφικές αναφορές Τομέας Εφαρμογών και Θεμελιώσεων της Επιστήμης των Υπολογιστών
• Φυσική περιγραφή: xv,535p. fig.
• ISBN: 0 8186 7463 6