Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Giesl, JΓΌrgen
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: HΓ€hnle, Reiner
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Σειρά:Lecture Notes in Computer Science 6173
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/978-3-642-14203-1

Διαδίκτυο

http://dx.doi.org/10.1007/978-3-642-14203-1

ΒΚΠ - Πατρα: Unknown

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