Computer Science Logic

7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers

E Borger, Yuri Gurevich, K Meinke, Workshop on Computer Science Logic (Autoren)

Buch | Softcover

1994
Springer (Verlag)
978-0-387-58277-1 (ISBN)

Produkt-Details

• Erscheint lt. Verlag: 1.8.1994
• Reihe/Serie: Lecture Notes in Computer Science ; 832
• Sprache: englisch
• Themenwelt: Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• Schlagworte: Lecture Notes in Computer Science; 832
• ISBN-10: 0-387-58277-0 / 0387582770
• ISBN-13: 978-0-387-58277-1 / 9780387582771
• Zustand: Neuware