Giessener Elektronische Bibliothek

Ihr Suchergebnis

Ergebnis 71 - 80 von 85  Zurück   1   2   3   4   5   6   7   8   9  Vorwärts   Gehe zu Seite
von 9
71. Buchholz, Thomas ; Klein, Andreas ; Kutrib, Martin (1998) One guess one-way cellular arrays ResearchPaper
 
72. Brewka, Gerd ; Eiter, Thomas (1998) Preferred answer sets for extended logic programs ResearchPaper
 
73. Lukasiewicz, Thomas (1998) Probalistic and truth-functional many-valued logic programming ResearchPaper
 
74. Buccafurri, Francesco ; Eiter, Thomas ; Gottlob, Georg ; Leone, Nicola (1997) Enhancing symbolic model checking by AI techniques ResearchPaper
 
75. Eiter, Thomas ; Gottlob, Georg ; Gurevich, Yuri (1997) Existential second-order logic over strings ResearchPaper
 
76. Kröger, Henner ; Kutrib, Martin (1996) Informatik an der JLUG : "Interdiziplinärer Workshop" ResearchPaper
 
77. Buchholz, Thomas ; Kutrib, Martin (1996) On the power of one-way bounded cellular time computers ResearchPaper
 
78. Buchholz, Thomas ; Kutrib, Martin (1996) Some relations between massively parallel arrays ResearchPaper
 
79. Kutrib, Martin ; Worsch, Thomas (Hrsg.) (1995) 5. Theorietag : "Automaten und Formale Sprachen" : Schloss Rauischholzhausen, 28./29.09.1995 Proceedings (Komplette Ausgabe einer Konferenz etc.)
 
80. Kutrib, Martin (1995) On stack-augmented polyautomata ResearchPaper
 
Ergebnis 71 - 80 von 85  Zurück   1   2   3   4   5   6   7   8   9  Vorwärts   Gehe zu Seite
von 9