検索結果

結果の絞り込み
  1. 1

    Discrete structures, logic, and computability 著者: Hein, James L.

    出版事項 2017
    図書


    表紙画像
  2. 2

    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...

    出版事項 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


    表紙画像
  3. 3

    Reversible logic synthesis methodologies with application to quantum computing 著者: Ridha Taha, Saleem Mohammed

    出版事項 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


    表紙画像
  4. 4

    Introduction to annotated logics foundations for paracomplete and paraconsistent reasoning 著者: Abe, Jair Minoro, Akama, Seiki, Nakamatsu, Kazumi

    出版事項 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


    表紙画像
  5. 5

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

    出版事項 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


    表紙画像
  6. 6

    An object-oriented approach to programming logic and design 著者: Farrell, Joyce

    出版事項 2013
    図書


    表紙画像
  7. 7

    Functional and constraint logic programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

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


    表紙画像
  8. 8

    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


    表紙画像
  9. 9

    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


    表紙画像
  10. 10

    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


    表紙画像

検索ツール: