Showing 241 - 250 results of 2,262 for search '"Logic"', 查询时间: 0.03s Refine Results
  1. 241

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

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

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

    Proofs and algorithms an introduction to logic and computability 由 Dowek, Gilles

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

    Proofs and algorithms an introduction to logic and computability
  3. 243

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

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

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

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

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

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

    Logic, language, and computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected P...

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

    Logic, language, and computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers
  6. 246

    Logic, language, information and computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

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

    Logic, language, information and computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
  7. 247

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

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

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

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

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

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

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

    出版 2011
    Available for UP System via SpringerLink.
    Electronic Resource

    Hybrid logic and its proof-theory
  10. 250

    Proof, computation and agency logic at the crossroads

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

    Proof, computation and agency logic at the crossroads

检索工具: