Schwendenwein von Lanauberg Hans von Seeckt Gustav von Senden-Bibran Stanisław Smolka Hermann von Spaun Philipp von Stadion und Thannhausen Rudolf Stöger-Steiner...
11 KB (1,246 words) - 11:48, 14 April 2024
- Franz Josef Schöninger / Hans W. Hübner 1978-1980: Der Alte - Herbert Smolka / Ziesenhut 1979-1988: Der Millionenbauer - Josef Hartinger 1983: Monaco...
13 KB (864 words) - 16:02, 26 January 2024
down an order of magnitude, as many unary predicates turned into sorts. Smolka generalized order-sorted logic to allow for parametric polymorphism. In...
70 KB (7,377 words) - 01:53, 4 May 2024
Oberon-2 Hanspeter Mössenböck, Niklaus Wirth Object Oberon 1991 Oz Gert Smolka and his students Prolog 1991 Q Albert Gräf 1991 Python Guido van Rossum...
49 KB (229 words) - 08:10, 2 May 2024
C {\displaystyle {\mathcal {ALC}}} ) was introduced by Manfred Schmidt-Schauß and Gert Smolka in 1991, and is the basis of many more expressive DLs. The...
38 KB (4,209 words) - 10:43, 4 May 2024
\;x_{2}=x\}} , where x : s 1 ∩ s 2 {\displaystyle x:s_{1}\cap s_{2}} . Smolka generalized order-sorted logic to allow for parametric polymorphism. In...
9 KB (1,225 words) - 13:59, 9 May 2024
1016/j.tree.2020.10.014. hdl:10400.12/8056. PMID 33213887. Foster, J.; Smolka, J.; Nilsson, D.E.; Dacke, M. (2018). "How animals follow the stars". Proceedings...
58 KB (6,180 words) - 14:06, 14 May 2024
political and historical rights of the Hungarian people. Franciszek Jan Smolka [pl], Polish deputy who delivered a splendid speech against the Austrian...
45 KB (5,212 words) - 03:32, 24 March 2024
chair to step down after 2020 AGM Reuters. Henning Peitsmeier and Klaus Max Smolka (May 22, 2017), Die geheime Machtzentrale in München Frankfurter Allgemeine...
8 KB (630 words) - 02:17, 19 March 2024
Antonín Procházka Petr Kop Jiří Svoboda Josef Musil Lubomír Zajíček Josef Smolka Vladimír Petlák František Sokol Zdeněk Groessl Pavel Schenk Drahomír Koudelka...
9 KB (584 words) - 18:33, 26 August 2023