Výsledky vyhledávání - Logical Methods in Computer Science e.V
-
1
Autoři: Anatoliy V Chavdarov
Zdroj: JOURNAL OF MECHANICS OF CONTINUA AND MATHEMATICAL SCIENCES.
Přístupová URL adresa: https://www.journalimcms.org/wp-content/uploads/48-20-0075-rev.pdf
-
2
Autoři: a další
Zdroj: Symmetry (20738994); Oct2025, Vol. 17 Issue 10, p1659, 16p
-
3
Autoři: a další
Zdroj: Electronics (2079-9292); Jul2025, Vol. 14 Issue 13, p2680, 42p
-
4
Autoři: a další
Resource Type: eBook.
Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing
Plný text ve formátu PDF Plný text ve formátu ePub -
5
Témata: theoretical computer science, logical methods, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
Popis souboru: electronic resource
Relation: https://lmcs.episciences.org/page/purpose; https://lmcs.episciences.org/; https://lmcs.episciences.org/page/authors-information
Přístupová URL adresa: https://doaj.org/toc/1860-5974
-
6
Autoři:
Zdroj: Logical Methods in Computer Science, Vol 20, Issue 2 (2024)
Témata: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
Popis souboru: electronic resource
Přístupová URL adresa: https://doaj.org/article/66a7ca6414fc4c2587804f833744143b
-
7
Autoři: a další
Zdroj: Applied Sciences (2076-3417); Jan2025, Vol. 15 Issue 2, p581, 34p
-
8
Autoři:
Zdroj: Information; May2025, Vol. 16 Issue 5, p389, 35p
-
9
Autoři: a další
Zdroj: Software & Systems Modeling; Aug2025, Vol. 24 Issue 4, p1059-1089, 31p
-
10
Autoři: Schreiber, Dominik
Zdroj: IT: Information Technology; Feb2025, Vol. 67 Issue 1, p46-53, 8p
-
11
Autoři:
Zdroj: Logical Methods in Computer Science, Vol 21, Issue 3 (2025)
Témata: artificial intelligence, logic in computer science, software engineering, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
Popis souboru: electronic resource
Přístupová URL adresa: https://doaj.org/article/009b9cf01e5a464488f92facb44f693e
-
12
Autoři:
Zdroj: Logical Methods in Computer Science, Vol 21, Issue 3 (2025)
Témata: logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
Popis souboru: electronic resource
Přístupová URL adresa: https://doaj.org/article/d911426506564828b5874fe6051061f0
-
13
Autoři:
Zdroj: ISSN:1860-5974 ; Logical Methods In Computer Science, vol. 20 (4), Art.No. 14, (1-45.
Témata: Science & Technology, Technology, Computer Science, Theory & Methods, Logic, Science & Technology - Other Topics, Fully abstract compilation, cross-language logical relation, modular compilation, 0101 Pure Mathematics, 0802 Computation Theory and Mathematics, 0803 Computer Software, 46 Information and computing sciences
Popis souboru: application/pdf
-
14
Témata: theoretical computer science, logical methods, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
Relation: https://lmcs.episciences.org/; https://lmcs.episciences.org/page/authors-information; https://lmcs.episciences.org/page/purpose
Dostupnost: https://doaj.org/toc/1860-5974
-
15
Autoři:
Zdroj: Logical Methods in Computer Science, Vol 21, Issue 3 (2025)
Témata: artificial intelligence, logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
Popis souboru: electronic resource
Přístupová URL adresa: https://doaj.org/article/2b27f9fb06174c599aaf8a13e1317799
-
16
Autoři:
Zdroj: Logical Methods in Computer Science, Vol 21, Issue 3 (2025)
Témata: logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
Popis souboru: electronic resource
Přístupová URL adresa: https://doaj.org/article/2508ecec043c40dc848ca719153523a2
-
17
Autoři: a další
Zdroj: Logical Methods in Computer Science, Vol 21, Issue 3 (2025)
Témata: logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
Popis souboru: electronic resource
Přístupová URL adresa: https://doaj.org/article/a4bc1c5393ce437ebda445def978bf27
-
18
Autoři:
Zdroj: Logical Methods in Computer Science, Vol 21, Issue 3 (2025)
Témata: logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
Popis souboru: electronic resource
Přístupová URL adresa: https://doaj.org/article/28e23dc8f24547378f2f43ca6fd29296
-
19
-
20
Autoři:
Zdroj: International Journal of Educational Technology in Higher Education; 3/19/2025, Vol. 22 Issue 1, p1-25, 25p
Nájsť tento článok vo Web of Science
Full Text Finder