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
Aktuelle Seite:
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
powered by OPUS  Hosted by KOBV  Open
Archives Initiative  DINI Zertifikat 2007  OA Netzwerk