Giessener Elektronische Bibliothek

Ihr Suchergebnis

Ergebnis 1 - 2 von 2  1    Gehe zu Seite
von 1
1. Buccafurri, Francesco ; Eiter, Thomas ; Gottlob, Georg ; Leone, Nicola (1997) Enhancing symbolic model checking by AI techniques ResearchPaper
 
2. Eiter, Thomas ; Gottlob, Georg ; Gurevich, Yuri (1997) Existential second-order logic over strings ResearchPaper
 
Ergebnis 1 - 2 von 2  1    Gehe zu Seite
von 1