Torthaí cuardaigh
-
1
-
2
-
3
-
4
Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets
Foilsithe / Cruthaithe 1998LEABHAR -
5
Logic for computer science foundations of automatic theorem proving
Foilsithe / Cruthaithe 1986LEABHAR -
6
-
7
-
8
Temporal logic first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
Foilsithe / Cruthaithe 1994LEABHAR -
9
-
10
The deductive foundations of computer programming a one-volume version of the logical basis for computer programming
Foilsithe / Cruthaithe 1993LEABHAR