Showing 251 - 260 results of 2,262 for search '"Logic"', query time: 0.02s Refine Results
  1. 251

    Strict finitism and the logic of mathematical applications by Ye, Feng

    Published 2011
    Available for the University of the Philippines Diliman via Springerlink. Click here to access
    Electronic Resource

    Strict finitism and the logic of mathematical applications
  2. 252

    Probabilistic logics and probabilistic networks

    Published 2011
    Available for the University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Probabilistic logics and probabilistic networks
  3. 253

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

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

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

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

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

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

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

    Published in Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

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

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

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

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

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

    Published in Springer eBook. (2011)
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

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

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

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

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

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

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Conditionals and modularity in general logics
  10. 260

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

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

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

Search Tools: