Giessener Elektronische Bibliothek

Ihr Suchergebnis

Ergebnis 61 - 70 von 85  Zurück   1   2   3   4   5   6   7   8   9  Vorwärts   Gehe zu Seite
von 9
61. Lukasiewicz, Thomas ; Kern-Isberner, Gabriele (1999) Probalistic logic programming under maximum entropy ResearchPaper
 
62. Buchholz, Thomas ; Klein, Andreas ; Kutrib, Martin (1999) Real-time language recognition by alternating cellular automata ResearchPaper
 
63. Richstein, Jörg (1999) Segmentierung und Optimierung von Algorithmen zu Problemen aus der Zahlentheorie Dissertation
 
64. Eiter, Thomas ; Lu, James ; Subrahmanian, V.S (1998) A first-order representation of stable models ResearchPaper
 
65. Eiter, Thomas ; Ibaraki, Toshihide ; Makino, Kazuhisa (1998) Computing intersections of Horn theories for reasoning with models ResearchPaper
 
66. Eiter, Thomas ; Ibaraki, Toshihide ; Makino, Kazuhisa (1998) Decision lists and related Boolean functions ResearchPaper
 
67. Eiter, Thomas ; Subrahmanian, V.S ; Pick, George (1998) Heterogeneous active agents ResearchPaper
 
68. Buchholz, Thomas ; Kutrib, Martin (1998) Molekulare Computer : Rechnen im Reagenzglas Aufsatz
 
69. Buchholz, Thomas ; Klein, Andreas ; Kutrib, Martin (1998) On interacting automata with limited nondeterminism ResearchPaper
 
70. Buchholz, Thomas ; Klein, Andreas ; Kutrib, Martin (1998) On time reduction and simulation in cellular spaces ResearchPaper
 
Ergebnis 61 - 70 von 85  Zurück   1   2   3   4   5   6   7   8   9  Vorwärts   Gehe zu Seite
von 9