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

Logic, rationality, and interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

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

A Cp-theory problem book topological and function spaces por Tkachuk, V. V. (Vladimir Vladimirovich)

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

Ranking and prioritization for multi-indicator systems Introduction to partial order applications por Brüggemann, Rainer

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

Hybrid logic and its proof-theory por Braüner, Torben

Available for UP System via SpringerLink.

Inverse problems and high-dimensional estimation Stats in the Chãateau Summer School, August 31-September 4, 2009

Available for UP System via SpringerLink.

Lattice theory foundation por Gratzer, George A.

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

Intelligent mathematics computational analysis por Anastassiou, George A. 1952-

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

An introduction to enumeration por Camina, A. R., Lewis, Barry

Available for UP System via Springer Link.

Reconfigurable control of nonlinear dynamical systems a fault-hiding approach por Richter, Jan H.

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