<--- Back to Details
First PageDocument Content
Philosophy / Indian logic / Logic in China / Logic / Ontology / Buddhist logic / Logic in Islamic philosophy / Jerzy Perzanowski / Indian philosophy / Science / Knowledge
Date: 2013-12-06 06:42:07
Philosophy
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

Download Document from Source Website

File Size: 57,04 KB

Share Document on Facebook

Similar Documents

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

DocID: 1trLw - View Document

Fuzzy 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  

DocID: 1r1Wk - View Document

Theoretical 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

DocID: 1pVP0 - View Document

Symposium 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

DocID: 1p8u1 - View Document

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

DocID: 1kXdX - View Document