Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings

• Κύριος συγγραφέας: Ferreira, Fernando
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: LΓΆwe, Benedikt, Mayordomo, Elvira, Mendes Gomes, LuΓ­s
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
• Σειρά: Lecture Notes in Computer Science 6158
• Θέματα: Computer science; Computer software; Computational complexity; Computer simulation; Computer Science; Algorithm Analysis and Problem Complexity; Computation by Abstract Devices; Artificial Intelligence (incl. Robotics); Discrete Mathematics in Computer Science; Mathematical Logic and Formal Languages; Simulation and Modeling; Τεχνητή νοημοσύνη
• Φυσική περιγραφή: v.: digital
• ISBN: 9783642139628
• ISSN: 0302-9743