Pynciau a Argymhellir O fewn eich chwiliad
Dangos 1 - 3 canlyniadau o 3 ar gyfer chwilio '', amser ymholiad: 0.01e Mireinio'r Canlyniadau
  1. 1
    Logic for computer science: foundations of automatic theorem proving
    gan Gallier, Jean H; Author
    Cyhoeddwyd 1987
    Printed Book
  2. 2
    Applied proof theory : proof interpretations and their use in mathematics /
    gan Kohlenbach, U.
    Cyhoeddwyd 2008
    Printed Book
  3. 3
    Logic for computer science : foundations of automatic theorem proving /
    gan Gallier, Jean H.
    Cyhoeddwyd 2015
    Printed Book
Offerynnau Chwilio: Cael Porthiant RSS — E-bostio'r Chwiliad hwn