Showing 301 - 310 results of 2,262 for search '"Logic"', query time: 0.03s Refine Results
  1. 301

    Transactions on high-performance embedded architectures and compilers IV

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

    Transactions on high-performance embedded architectures and compilers IV
  2. 302

    Web reasoning and rule systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011: proceedings

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

    Web reasoning and rule systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011: proceedings
  3. 303

    Gentzen calculi for modal propositional logic by Poggiolesi, Francesca. 1980-

    Published 2011
    Available for UP System via SpringerLink.
    Electronic Resource

    Gentzen calculi for modal propositional logic
  4. 304

    Giuseppe Peano between mathematics and logic proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the...

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

    Giuseppe Peano between mathematics and logic proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2-3, 2008
  5. 305

    Memory-based logic synthesis by Sasao, Tsutomu 1950-

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

    Memory-based logic synthesis
  6. 306

    Reasoning about preference dynamics by Liu, Fenrong

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

    Reasoning about preference dynamics
  7. 307

    Logica Metodo Breve by Mundici, Daniele

    Published 2011
    Available for University of the Philippines System via SpringerLink
    Electronic Resource

    Logica Metodo Breve
  8. 308

    To be logical by Calalang, Bayani Antonio U., Jr

    Published 2011
    Book

    To be logical
  9. 309

    From objects to diagrams for ranges of functors by Gillibert, Pierre

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

    From objects to diagrams for ranges of functors
  10. 310

    Introduction to logic by Copi, Irving M.

    Published 2011
    Book

    Introduction to logic

Search Tools: