Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Toon 1 - 3 resultaten van 3 Voor zoekopdracht '', zoektijd: 0,02s Verfijn jouw resultaten
  1. 1
    Logic for computer science: foundations of automatic theorem proving
    door Gallier, Jean H; Author
    Gepubliceerd in 1987
    Printed Book
  2. 2
    Applied proof theory : proof interpretations and their use in mathematics /
    door Kohlenbach, U.
    Gepubliceerd in 2008
    Printed Book
  3. 3
    Logic for computer science : foundations of automatic theorem proving /
    door Gallier, Jean H.
    Gepubliceerd in 2015
    Printed Book
Zoekinstrumenten: Abonneren op RSS-datastromen — Zoekopdracht versturen