Strict finitism and the logic of mathematical applications по Ye, Feng

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

Probabilistic logics and probabilistic networks

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

Algebra and coalgebra in computer science 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings

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

Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

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

Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings

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

Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers

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

Algorithmic learning theory 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings

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

Computational logic in multi-agent systems 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. proceedings

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

Conditionals and modularity in general logics по Gabbay, Dov M. 1945-

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

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