Torthaí cuardaigh - "Automatic theorem proving Congresses."
-
1
-
2
Higher order logic theorem proving and its applications 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings
Foilsithe / Cruthaithe 1995LEABHAR -
3
5th Conference on automated deduction, Les Arcs, France, July 8-11, 1980
Foilsithe / Cruthaithe 1980LEABHAR -
4
-
5
-
6
-
7
-
8
-
9
-
10


