Aihe-ehdotuksia
Näytetään 1 - 3 yhteensä 3 tuloksesta haulle '', hakuaika: 0,01s Tarkenna hakua
  1. 1
    Logic for computer science: foundations of automatic theorem proving
    Tekijä Gallier, Jean H; Author
    Julkaistu 1987
    Printed Book
  2. 2
    Applied proof theory : proof interpretations and their use in mathematics /
    Tekijä Kohlenbach, U.
    Julkaistu 2008
    Printed Book
  3. 3
    Logic for computer science : foundations of automatic theorem proving /
    Tekijä Gallier, Jean H.
    Julkaistu 2015
    Printed Book
Työkalut: RSS-syöte — Lähetä haku sähköpostilla