1 - 10 toradh á dtaispeáint as 41 toradh san iomlán ar an gcuardach '', am iarratais: 0.02s Beachtaigh na torthaí
  1. 1

    Quantitative logic and soft computing 2016 proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 Octobe...

    Foilsithe / Cruthaithe 2017
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Quantitative logic and soft computing 2016 proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 October, 2016
  2. 2

    Discrete structures, logic, and computability de réir Hein, James L.

    Foilsithe / Cruthaithe 2017
    LEABHAR

    Discrete structures, logic, and computability
  3. 3

    Reversible logic synthesis methodologies with application to quantum computing de réir Ridha Taha, Saleem Mohammed

    Foilsithe / Cruthaithe 2016
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Reversible logic synthesis methodologies with application to quantum computing
  4. 4

    Introduction to annotated logics foundations for paracomplete and paraconsistent reasoning de réir Abe, Jair Minoro, Akama, Seiki, Nakamatsu, Kazumi

    Foilsithe / Cruthaithe 2015
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Introduction to annotated logics foundations for paracomplete and paraconsistent reasoning
  5. 5

    Paraconsistent intelligent-based systems new trends in the applications of paraconsistency

    Foilsithe / Cruthaithe 2015
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Paraconsistent intelligent-based systems new trends in the applications of paraconsistency
  6. 6

    An object-oriented approach to programming logic and design de réir Farrell, Joyce

    Foilsithe / Cruthaithe 2013
    LEABHAR

    An object-oriented approach to programming logic and design
  7. 7

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

    Foilsithe / Cruthaithe 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
  8. 8

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

    Foilsithe / Cruthaithe 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
  9. 9

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

    Foilsithe / Cruthaithe 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
  10. 10

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

    Foilsithe / Cruthaithe 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

Uirlisí cuardaigh: