Control, computation and information systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Pr...

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Real-world reasoning toward scalable, uncertain spatiotemporal, contextual and causal inference

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Logic and grammar essays dedicated to Alain Lecomte on the occasion of his 60th birthday

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Handbook of practical logic and automated reasoning حسب Harrison, J. (John) 1966-

The calculus of computation decision procedures with applications to verification حسب Bradley, Aaron R.

Dynamic logic حسب Harel, David 1950-, Kozen, Dexter 1951-, Tiuryn, Jerzy

Click here to access thru EZproxy
Click here to access

A friendly introduction to mathematical logic حسب Leary, Christopher C.

A friendly introduction to mathematical logic. حسب Leary, Christopher C.

Monadic datalog and the expressive power of languages for Web information extraction. حسب Gottlob, Georg