Podobne hasła w twoim wyszukiwaniu.
Rezultaty 1 - 3 Rezultaty od 3 Dla wyszukiwania '', Czas wyszukiwania: 0,01s Redukuj rezultaty
  1. 1
    Logic for computer science: foundations of automatic theorem proving
    od Gallier, Jean H; Author
    Wydane 1987
    Printed Book
  2. 2
    Applied proof theory : proof interpretations and their use in mathematics /
    od Kohlenbach, U.
    Wydane 2008
    Printed Book
  3. 3
    Logic for computer science : foundations of automatic theorem proving /
    od Gallier, Jean H.
    Wydane 2015
    Printed Book
Narzędzie wyszukiwania: Abonuj RSS — Wyślij rezultaty emailem