Zobrazuji výsledky 301 - 310 z 2 262 pro vyhledávání '"Logic."', doba hledání: 0,02 s. Upřesnit hledání
  1. 301

    Transactions on high-performance embedded architectures and compilers IV

    Vydáno 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

    Vydáno 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 Autor Poggiolesi, Francesca. 1980-

    Vydáno 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...

    Vydáno 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 Autor Sasao, Tsutomu 1950-

    Vydáno 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 Autor Liu, Fenrong

    Vydáno 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 Autor Mundici, Daniele

    Vydáno 2011
    Available for University of the Philippines System via SpringerLink
    Electronic Resource

    Logica Metodo Breve
  8. 308

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

    Vydáno 2011
    Kniha

    To be logical
  9. 309

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

    Vydáno 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 Autor Copi, Irving M.

    Vydáno 2011
    Kniha

    Introduction to logic

Vyhledávací nástroje: