Torthaí cuardaigh - "Computational logic."
-
1
-
2
-
3
-
4
The calculus of computation decision procedures with applications to verification
Foilsithe / Cruthaithe 2007LEABHAR -
5
-
6
-
7
Real-world reasoning toward scalable, uncertain spatiotemporal, contextual and causal inference
Foilsithe / Cruthaithe 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
8
Dynamic logic
Foilsithe / Cruthaithe 2000Click here to access thru EZproxy
Click here to access
Electronic Resource -
9
-
10
Control, computation and information systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Pr...
Foilsithe / Cruthaithe 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource


