Logic in China

Results: 22



#Item
1

An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC Xiaowang Zhang1,2 , Zhihu Zhang1 and Zuoquan Lin1 1 School of Mathematical Sciences, Peking University, Bejing, China

Add to Reading List

Source URL: ceur-ws.org

- Date: 2009-07-07 04:46:34
    2Fuzzy logic / Logic / Artificial intelligence / Mathematical logic / Academia / Logic in computer science / Image segmentation / Type-2 fuzzy sets and systems / Fuzzy set

    WCCI  July  6-­‐11,  2014,  Beijing,  China   Fuzzy  Image  Processing:  A  Tutorial   Professor  Hamid  R.  Tizhoosh   University  of  Waterloo,  Canada  

    Add to Reading List

    Source URL: www.conference123.org

    Language: English - Date: 2014-07-16 23:21:59
    3Theoretical computer science / Logic in computer science / Formal methods / Software engineering / Formal verification / Refinement / Linearizability / Correctness / Operational semantics / Semantics / Concurrency / Algorithm

    University of Science and Technology of China A dissertation submitted for the degree of PhD Refinement Verification of Concurrent Programs and Its Applications

    Add to Reading List

    Source URL: staff.ustc.edu.cn

    Language: English - Date: 2015-04-24 09:43:54
    4Symposium on Principles of Programming Languages / Programming Language Design and Implementation / ACM SIGACT / ACM Transactions on Programming Languages and Systems / Symposium on Logic in Computer Science / SIGPLAN

    Hongjin Liang Address: Suzhou Institute for Advanced Study Univ. of Science and Technology of China

    Add to Reading List

    Source URL: staff.ustc.edu.cn

    Language: English - Date: 2016-04-27 03:06:22
    5

    Automated Verification of Shape, Size and Bag Properties via User-Defined Predicates in Separation Logic ∗ Wei-Ngan China , Cristina Davida , Huu Hai Nguyena , and Shengchao Qinb† a Department of Computer Science, N

    Add to Reading List

    Source URL: www.comp.nus.edu.sg

    Language: English - Date: 2013-07-17 21:22:36
      6

      Pure Inductive Logic Winter School in Logic, Guangzhou, China, 2010

      Add to Reading List

      Source URL: www.maths.manchester.ac.uk

      Language: English - Date: 2011-01-07 04:28:20
        7Technology / Computer hardware / Universal Serial Bus / USB 3.0 / Logic analyzer / Embedded systems / Electronics / Total Phase

        TOTAL PHASE Total Phase Features the Beagle™ USB 5000 SuperSpeed Protocol Analyzer, Winner of the 2012 Best in Test Award, at the Intel Developer Forum in Beijing Intel Developer Forum, Beijing, China – April 11, 201

        Add to Reading List

        Source URL: www.usb.org

        Language: English - Date: 2012-04-10 19:46:18
        8Formal methods / Logic in computer science / Theoretical computer science / Formal verification / Sun Yat-sen University / Sun Yat-sen / Logic programming / Guangzhou / Chinese people / Guangdong / Provinces of the People\'s Republic of China

        Institute for Integrated and Intelligent Systems Speaker: Professor Yongmei Liu - Sun Yat-sen University in Guangzhou Date:

        Add to Reading List

        Source URL: www.griffith.edu.au

        Language: English - Date: 2014-08-21 03:08:32
        9Philosophy / Indian logic / Logic in China / Logic / Ontology / Buddhist logic / Logic in Islamic philosophy / Jerzy Perzanowski / Indian philosophy / Science / Knowledge

        Index of the Section Bibliographical Study Guides

        Add to Reading List

        Source URL: www.ontologymirror.com

        Language: English - Date: 2013-12-29 03:27:18
        10Philosophy / Indian logic / Logic in China / Logic / Ontology / Buddhist logic / Logic in Islamic philosophy / Jerzy Perzanowski / Indian philosophy / Science / Knowledge

        Index of the Section Bibliographical Study Guides

        Add to Reading List

        Source URL: www.ontologyasia.com

        Language: English - Date: 2013-12-06 06:42:07
        UPDATE