Logical Methods in Computer Science
Μορφή: | journal |
---|---|
Γλώσσα: | English |
Έκδοση: |
Logical Methods in Computer Science e.V.
2004
|
Θέματα: | |
Διαθέσιμο Online: | https://doaj.org/toc/1860-5974 |
id |
oai:doaj.org-journal:00cf9ec0afd04cbaa36d5997c06f8edc |
---|---|
record_format |
dspace |
spelling |
oai:doaj.org-journal:00cf9ec0afd04cbaa36d5997c06f8edc2023-05-11T13:07:35ZLogical Methods in Computer Science1860-5974https://doaj.org/toc/1860-5974ENCC BYLogical Methods in Computer Science e.V.https://lmcs.episciences.org/page/purposehttps://lmcs.episciences.org/page/authors-informationhttps://lmcs.episciences.org/2004-09-24T15:36:18Zjournaltheoretical computer sciencelogical methodsLogicBC1-199Electronic computers. Computer scienceQA75.5-76.95 |
institution |
DOAJ |
collection |
DSpace |
language |
English |
topic |
theoretical computer science logical methods Logic BC1-199 Electronic computers. Computer science QA75.5-76.95 |
spellingShingle |
theoretical computer science logical methods Logic BC1-199 Electronic computers. Computer science QA75.5-76.95 Logical Methods in Computer Science |
format |
journal |
title |
Logical Methods in Computer Science |
title_short |
Logical Methods in Computer Science |
title_full |
Logical Methods in Computer Science |
title_fullStr |
Logical Methods in Computer Science |
title_full_unstemmed |
Logical Methods in Computer Science |
title_sort |
logical methods in computer science |
publisher |
Logical Methods in Computer Science e.V. |
publishDate |
2004 |
url |
https://doaj.org/toc/1860-5974 |
_version_ |
1801185056424722432 |