Logic For Computer Science: Foundations Of Automatic Theorem Proving

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

Ähnliche Einträge