Visas 1 - 1 av 1 resultat för sökning 'Gallier, Jean H; Author', Sökningstid : 0,01s Förfina resultatet
  1. 1
    Logic for computer science: foundations of automatic theorem proving
    av Gallier, Jean H; Author
    Publicerad 1987
    Printed Book
Sökverktyg: RSS-flöde — Skicka sökningen per e-post