Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Dawar, Anuj
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Veith, Helmut
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Σειρά:Lecture Notes in Computer Science 6247
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/978-3-642-15205-4

Διαδίκτυο

http://dx.doi.org/10.1007/978-3-642-15205-4

ΒΚΠ - Πατρα: Unknown

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: Unknown
Ταξιθετικός Αριθμός: Unknown
Αντίγραφο Unknown Στη βιβλιοθήκη