and C are nonterminal symbols, the letter a is a terminal symbol (a symbol that represents a constant value), S is the start symbol, and ε denotes the empty...
21 KB (1,926 words) - 08:25, 22 August 2024
First-order logic (section Logical symbols)
Helga Noll (1977). Mathematische Logik mit Informatik-Anwendungen. Heidelberger Taschenbücher, Sammlung Informatik (in German). Vol. 187. Heidelberg: Springer...
92 KB (12,931 words) - 16:12, 7 May 2025
Kolloquium 14 Nov 2014 in Jena, Germany (in German). Bonn: Gesellschaft für Informatik. ISBN 978-3-88579-426-4. Bergman, George Mark (2013). "Order of arithmetic...
48 KB (4,547 words) - 15:30, 7 May 2025
proper rendering support, you may see question marks, boxes, or other symbols instead of Khmer script. Suryavarman II (Khmer: សូរ្យវរ្ម័នទី២, UNGEGN:...
14 KB (1,752 words) - 20:10, 21 November 2024
by miHoYo General Instrument, an electronics company Gesellschaft für Informatik, a German computer society Goethe-Institut, a German cultural association...
2 KB (295 words) - 20:39, 2 April 2025
Division. Forschungsberichte des Max-Planck-Instituts für Informatik. Saarbrücken: MPI Informatik Bibliothek & Dokumentation. OCLC 246319574. MPII-98-1-022...
26 KB (1,576 words) - 17:24, 6 May 2025
"Was ist Informatik? Zur Entstehung des Faches an den deutschen Universitäten". In Hellige, Hans Dieter (ed.). Geschichten der Informatik. Visionen,...
30 KB (2,743 words) - 14:03, 31 March 2025
und die Synchronisation von Halbspursprachen Archived 2018-01-17 at the Wayback Machine; Fakultät Informatik der Universität Stuttgart; 1994 (German)...
5 KB (724 words) - 20:02, 7 May 2025
(2004) [November 2002]. Written at Bremen, Germany. Geschichten der Informatik - Visionen, Paradigmen, Leitmotive (in German) (1 ed.). Berlin / Heidelberg...
66 KB (8,020 words) - 13:18, 26 April 2025
June 2019. Küveler, Gerd; Schwoch, Dietrich (2013) [1996]. Arbeitsbuch Informatik – eine praxisorientierte Einführung in die Datenverarbeitung mit Projektaufgabe...
60 KB (7,236 words) - 08:24, 31 March 2025
Steinbuch, Karl W.; Weber, Wolfgang, eds. (1974) [1967]. Taschenbuch der Informatik - Band III - Anwendungen und spezielle Systeme der Nachrichtenverarbeitung...
57 KB (2,988 words) - 12:14, 15 April 2025
List of vacuum-tube computers Hans Dieter Hellige (ed.): Geschichten der Informatik. Visionen, Paradigmen, Leitmotive. Berlin, Springer 2004, ISBN 3-540-00217-0...
6 KB (586 words) - 15:04, 7 August 2024
(STACS 2015). STACS 2015. Vol. 30. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. pp. 649–661. doi:10.4230/LIPIcs.STACS.2015.649. K. Ruohonen (1983). "On...
25 KB (2,521 words) - 16:01, 20 December 2024
(1+viii+122+2 pages) Küveler, Gerd; Schwoch, Dietrich (2013) [1996]. Arbeitsbuch Informatik - eine praxisorientierte Einführung in die Datenverarbeitung mit Projektaufgabe...
41 KB (3,460 words) - 12:22, 27 March 2025
logic "Normal Forms and Skolemization" (PDF). Max-Planck-Institut für Informatik. Retrieved 15 December 2012. Reiner Hähnle. Tableaux and related methods...
11 KB (1,909 words) - 06:27, 25 July 2024
der Zuse-Maschinen (PDF). INFORMATIK 2005 Informatik LIVE! Band 1, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 19. bis 22. September...
76 KB (6,744 words) - 02:43, 26 April 2025
June 2021. Geologische Bundesanstalt: Geofast-Karten SPA, Südtiroler Informatik AG | Informatica Alto Adige. "Natur, Landschaft und Raumentwicklung |...
74 KB (7,641 words) - 12:28, 24 April 2025
Bounds on the parameters of various types of codes, IAKS, Fakultät für Informatik, Universität Karlsruhe (TH)]. Online, up to date table of the optimal...
17 KB (2,694 words) - 03:34, 28 November 2024
Trentino-Alto Adige/Südtirol (section Symbols)
und Neuansätzen, Steiner, Stuttgart 2000, p. 213-221 SPA, Südtiroler Informatik AG | Informatica Alto Adige. "Landesinstitut für Statistik – Autonome...
44 KB (4,736 words) - 02:53, 9 April 2025
Theoretische Informatik-kurz gefasst (4 ed.). London: Oxford University Press. ISBN 3-8274-1099-1. Schöning, Uwe (2008). Theoretische Informatik-kurz gefasst...
17 KB (2,096 words) - 13:46, 8 November 2024
Goos, Gerhard [in German] (2017-08-07). Geschichte der deutschsprachigen Informatik - Programmiersprachen und Übersetzerbau [History of informatics in German-speaking...
36 KB (2,762 words) - 03:29, 19 February 2025
(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....
59 KB (4,901 words) - 10:26, 17 March 2025
of Computer Science and Engineering Science, https://www.th-koeln.de/informatik-und-ingenieurwissenschaften/ Educational center for technology and economy...
8 KB (859 words) - 21:56, 10 April 2025
McGraw-Hill. p. 317. ISBN 978-0-07-352340-8. "dblp: ACM Turing Award Lectures". informatik.uni-trier.de. Archived from the original on January 2, 2015. Retrieved...
80 KB (3,581 words) - 15:05, 18 March 2025
publicly traded on the New York Stock Exchange (symbol: NTB) and the Bermuda Stock Exchange (symbol: NTB.BH). In 1858 the Bank of N. T. Butterfield was...
8 KB (871 words) - 19:20, 18 March 2025
(Aesthetics as information processing). Grundlagen und Anwendungen der Informatik im Bereich ästhetischer Produktion und Kritik. Springer, 1974, ISBN 978-3211812167...
66 KB (7,553 words) - 00:15, 25 April 2025
Retrieved 15 March 2010. "Ein Hinweis in eigener Sache". wortschatz.informatik.uni-leipzig.de. 7 January 2003. Archived from the original on 15 May 2011...
144 KB (14,605 words) - 06:38, 6 May 2025
class. In 2005 he was also elected as a fellow of the Gesellschaft für Informatik. Since 2006, he has been a member of the council for innovation and growth...
8 KB (864 words) - 17:46, 9 June 2024
Traute, eds. (1974) [1967]. Written at Karlsruhe / Bochum. Taschenbuch der Informatik – Band III – Anwendungen und spezielle Systeme der Nachrichtenverarbeitung...
37 KB (3,243 words) - 08:43, 27 March 2025
Using Longest Common Subsequences. Schloss Dagstuhl – Leibniz-Zentrum für Informatik. pp. 35:1–35:16. doi:10.4230/lipics.esa.2024.35. The Wikibook Algorithm...
35 KB (4,355 words) - 22:13, 6 April 2025