Lataa...

Logic For Computer Science: Foundations Of Automatic Theorem Proving

Bibliografiset tiedot
Päätekijä: Gallier, Jean H
Aineistotyyppi: Printed Book
Julkaistu: John Wiley & Sons 1987

MG University

Saatavuus: MG University
Hyllypaikka: 005.131
Nide Reaaliaikaista tietoa ei saatavissa