Quantitative logic and soft computing 2016 proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 Octobe...

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Discrete structures, logic, and computability par Hein, James L.

Reversible logic synthesis methodologies with application to quantum computing par Ridha Taha, Saleem Mohammed

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Introduction to annotated logics foundations for paracomplete and paraconsistent reasoning par Abe, Jair Minoro, Akama, Seiki, Nakamatsu, Kazumi

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Paraconsistent intelligent-based systems new trends in the applications of paraconsistency

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

An object-oriented approach to programming logic and design par Farrell, Joyce

Logic-based program synthesis and transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

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

Web reasoning and rule systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011: proceedings

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

Logic programming and nonmonotonic reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

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

Logic programming, knowledge representation, and nonmonotonic reasoning essays dedicated to Michael Gelfond on the occasion of his 65th Birthday

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