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...


Leitfäden und Monographien der Informatik
2., durchges. Aufl, 1992
Signatur: TVC1457(2)

Dynamic logic
Foundations of computing
2000
Signatur: TCL4771

(2. ed.), 4. print, 2004
Signatur: TVC1473(2)

Logik für Informatiker
Informatik : Logik
2006
Signatur: TVC1790

Grundlagen der formalen Logik
2., überarb. Aufl, 2001
Signatur: TVC1782(2)

Textbooks in mathematical sciences
2000
Signatur: TVC1677

An introduction to default logic
Symbolic computation : Artificial intelligence
1989
Signatur: TVC1415

Logic with Prolog
Oxford applied mathematics and computing science series
1988
Signatur: TVC1407

Logic for computer science
International computer science series, Computer science : Mathematics
1990
Signatur: TVC1431






Aktive Filter
SpracheLatein
SystemstelleTCK
SchlagwortOntologie
SystemstelleTVC