Результати пошуку

Discrete structures, logic, and computability за авторством Hein, James L.

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

Reversible logic synthesis methodologies with application to quantum computing за авторством 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 за авторством 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 за авторством Farrell, Joyce

Functional and constraint logic programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

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

Inductive logic programming 20th international conference, ILP 2010, Florence, Italy, June 27-30, 2010. revised papers

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