Ähnliche Schlagwörter innerhalb Ihrer Suche.
Treffer 1 - 3 von 3 für Suche '', Suchdauer: 0,01s Treffer weiter einschränken
  1. 1
    Logic for computer science: foundations of automatic theorem proving
    von Gallier, Jean H; Author
    Veröffentlicht 1987
    Printed Book
  2. 2
    Applied proof theory : proof interpretations and their use in mathematics /
    von Kohlenbach, U.
    Veröffentlicht 2008
    Printed Book
  3. 3
    Logic for computer science : foundations of automatic theorem proving /
    von Gallier, Jean H.
    Veröffentlicht 2015
    Printed Book
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden