UB Paderborn / Katalog / Suche / im Katalog

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Grundlagen der formalen Logik

Winter, Reiner

2., überarb. Aufl, 2001

Signatur: TVC1782(2)

Logik für Informatiker

Informatik : Logik

2006

Signatur: TVC1790

Mathematical logic for computer science

Ben-Arî, Môtî

(2. ed.), 4. print, 2004

Signatur: TVC1473(2)

Sweet reason : a field guide to modern logic

Textbooks in mathematical sciences

2000

Signatur: TVC1677

Logik für Informatiker : eine Einführung

Leitfäden und Monographien der Informatik

2., durchges. Aufl, 1992

Signatur: TVC1457(2)

Logic in computer science : modelling and reasoning about systems

2. ed, 2004

Signatur: TVC1693(2)

Logic for computer science

International computer science series, Computer science : Mathematics

1990

Signatur: TVC1431

A first course in formal logic and its applications in computer science

Computer science texts

1986

Signatur: TVC1384

Logic with Prolog

Oxford applied mathematics and computing science series

Gibbins, Peter

1988

Signatur: TVC1407

Logik für Software-Ingenieure

Programmierung komplexer Systeme : 3 (Alle Bände)

Matthiessen, Günter

1991

Signatur: TVC1449

Logic and language models for computer science

2002

Signatur: TVC1708

1 – 11 von 11

Menü

Weitere Dienste

Einstellungen