Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...



From logic to computers
Computer science texts
Repr, 1984
Signatur: TVD1680

Macmillan computer science series
1986
Signatur: TVD1729





Logic design algorithms
Harwell series
1972
Signatur: TVD1907

Wiley series in computing
1981
Signatur: TVD1402-EN

Undergraduate texts in mathematics
1979
Signatur: TVD1559

Graduate texts in computer science
2. ed, 1996
Signatur: TVD1787(2)



Deduction systems
Graduate texts in computer science
1997
Signatur: TVD2092



1989
Signatur: TVD1779

The logic of partial information
Monographs in theoretical computer science
1995
Signatur: TVD2018

Normalization by evaluation
2002
Signatur: D13372

Mathematical structures for computer science (Alle Bände), A series of books in the mathematical sciences
2. ed, 1987
Signatur: TVD1664(2)-1



Reprint, 1968
Signatur: TVD1282