Ihr Suchergebnis
Home | Suche | Browsen| Nr. | Titel | Autor | Jahr |
|---|---|---|---|
| 1 | A paraconsistent semantics for generalized logic programs | Herre, Heinrich et al. | 2010 |
| 2 | Constraint-based abstraction of a model checker for infinite state systems | Banda, Gourinath et al. | 2010 |
| 3 | Range restriction for general formulas | Brass, Stefan | 2010 |
| 4 | Stationary generated models of generalized logic programs | Herre, Heinrich et al. | 2010 |
| Anzahl der Ergebnisseiten: | 1 |
| Anzahl der Dokumente: | 4 |
Home | Leitlinien | Impressum | Haftungsausschluss | Statistik | Universitätsverlag | Universitätsbibliothek
| Ihr Kontakt für Fragen und
Anregungen: Universitätsbibliothek Potsdam |
 
|