Wird geladen...

Logic For Computer Science: Foundations Of Automatic Theorem Proving

Bibliographische Detailangaben
1. Verfasser: Gallier, Jean H
Format: Printed Book
Veröffentlicht: John Wiley & Sons 1987

MG University

Bestandesangaben von MG University
Signatur: 005.131
Exemplar Live-Status nicht verfügbar