Logical methods in computer science (Ηλεκτρονικό)
Τίτλος | Logical methods in computer science. |
Συντομογραφία | Log. methods comput. sci. |
ISSN | 1860-5974 |
Έτη έκδοσης | [200-?]- |
Γλώσσα | Αγγλική |
Χώρα | Γερμανία |
Ηλεκτρονική Τοποθεσία | http://lmcs-online.org |
Τίτλος | Logical methods in computer science. |
Άλλος τίτλος | LMCS |
Τίτλος κλειδί | Logical methods in computer science |
Συντομογραφία | Log. methods comput. sci. |
ISSN | 1860-5974 |
Έτη έκδοσης | [200-?]- |
Δημοσίευση | Braunschweig : Logical Methods in Computer Science c/o Institut f. Theoretische Informatik, Technische Universität Braunschweig |
Γλώσσα | Αγγλική |
Χώρα | Γερμανία |
UDC Ταξινόμηση | 004 [current] |
Ηλεκτρονική Τοποθεσία | http://lmcs-online.org |