Kết quả tìm kiếm - "Computational logic."
-
1
-
2
-
3
-
4
The calculus of computation decision procedures with applications to verification
Được phát hành 2007Sách -
5
-
6
-
7
-
8
Dynamic logic
Được phát hành 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...
Được phát hành 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource


