Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "120954001"
im Bestand: Gesamter Bestand
1 - 2 von 2
|
1 |
Computational logic and proof theory Berlin : Springer, 1993 |
|
|
|
2 |
Logic programming and databases Ceri, Stefano. - Berlin : Springer, 1990 |
|
1 - 2 von 2
Alle Materialarten > Bücher (2)
Alle Kataloge/Sammlungen > Teilbestand nach VGG (2)
Alle Standorte > Leipzig (2)
Administration
