Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "120954001"
im Bestand: Gesamter Bestand
![]() |
1 |
Computational logic and proof theory Berlin : Springer, 1993 |
![]() ![]() |
![]() |
2 |
Expert systems in engineering Berlin : Springer, 1990 |
![]() |
![]() |
3 |
Logic programming and databases Ceri, Stefano. - Berlin : Springer, 1990 |
![]() ![]() |
