Hyperdata Network model – an older type of database management system Open data Schema.org VoID – Vocabulary of Interlinked Datasets Web Ontology Language List...
21 KB (1,916 words) - 20:28, 6 June 2024
Helga Noll (1977). Mathematische Logik mit Informatik-Anwendungen. Heidelberger Taschenbücher, Sammlung Informatik (in German). Vol. 187. Heidelberg: Springer...
93 KB (13,105 words) - 06:25, 9 August 2024
Theorem Proving (ITP 2022). 237. Schloss Dagstuhl – Leibniz-Zentrum für Informatik: 7:1–7:19. doi:10.4230/LIPIcs.ITP.2022.7. Retrieved 22 August 2022. Frandsen...
86 KB (11,554 words) - 02:49, 11 July 2024
(LIPIcs). Vol. 32. Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. pp. 63–78. doi:10.4230/LIPIcs.SNAPL.2015.63. ISBN 978-3-939897-80-4....
61 KB (4,996 words) - 22:24, 28 July 2024
Kaths, Jakob (2020), Standards for Virtual Test Drives (PDF), Vector Informatik GmbH, retrieved 21 April 2023 VIRES Simulationstechnologie GmbH ASAM e...
9 KB (708 words) - 17:17, 5 August 2024
logical facts), and also the definition of possible actions (operator-schemas with parameters, which should be grounded/instantiated during execution)...
30 KB (3,469 words) - 14:26, 27 March 2024
Optimization with an Evolution Strategy", in Reusch, Bernd (ed.), Fuzzy Logik, Informatik aktuell, Berlin, Heidelberg: Springer, pp. 33–40, doi:10.1007/978-3-642-79386-8_5...
40 KB (4,615 words) - 15:44, 3 July 2024
Katharina T. Huber, Dan Gusfield. Schloss Dagstuhl – Leibniz-Zentrum für Informatik: 13 pages, 3000894 bytes. doi:10.4230/LIPICS.WABI.2019.10. ISSN 1868-8969...
46 KB (4,399 words) - 17:12, 29 July 2024
men porten står alltid på glänt. Umeå universitet, Institutionen för informatik. OCLC 1233659973. Enge, Eric (April 5, 2017). "Stone Temple". Archived...
191 KB (22,140 words) - 07:19, 12 August 2024
true statement. As Tarski showed, this theory can be described by an axiom schema and a decision procedure that is complete and effective: for every fully...
32 KB (3,817 words) - 05:46, 12 August 2024