E-LIB Suche - Ergebnisse für: Lin, I-Peng

1

G-spacing : a gyro sensor based relative 3D space positi..:

, In: ACM SIGGRAPH 2015 Posters,

Liu, Kai-Wen ; Lin, I-Peng ; Sun, Shih-Wei.. - p. 1 ff. , 2015

Link: https://dl.acm.org/doi/1..

2

Nonmonotonic reasoning based on incomplete logic:

Fan, Tuan-Fang ; Lin, I-Peng ; Liau, Churn-Jung
Journal of Applied Non-Classical Logics. 7 (1997) 4 - p. 375-395 , 1997

Link: https://doi.org/10.1080/..

3

The computational complexity of the satisfiability of modal..:

Chen, Cheng-Chia ; Lin, I-Peng
Theoretical Computer Science. 129 (1994) 1 - p. 95-121 , 1994

Link: https://doi.org/10.1016/..

4

The computational complexity of satisfiability of temporal ..:

Chen, Cheng-Chia ; Lin, I-Peng
Information Processing Letters. 45 (1993) 3 - p. 131-136 , 1993

Link: https://doi.org/10.1016/..

5

Compiling dataflow analysis of logic programs:

, In: Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation,

Tan, Jichang ; Lin, I-Peng - p. 106-115 , 1992

Link: https://dl.acm.org/doi/1..

6

Compiling dataflow analysis of logic programs:

Tan, Jichang ; Lin, I-Peng
ACM SIGPLAN Notices. 27 (1992) 7 - p. 106-115 , 1992

Link: https://doi.org/10.1145/..

7

A logic programming approach to frame-based language design:

, In: Proceedings of 1986 ACM Fall joint computer conference,

Chen, Hsin-Hsi ; Lin, I-Peng ; Wu, Chien-Ping - p. 223-228 , 1986

Link: https://dl.acm.org/doi/1..

8

Homological Dimensions of Locally Finite Group Algebras:

Lin, T. Y. ; 林早陽 ; Lin, I-Peng.
Chinese Journal of Mathematics. 5 (1977) 1 - p. 43-49 , 1977

Link: https://www.jstor.org/st..

9

Possibilistic reasoning—a mini-survey and uniform semantics:

Liau, Churn-Jung ; Lin, Bertrand I-Peng
Artificial Intelligence. 88 (1996) 1-2 - p. 163-193 , 1996

Link: https://doi.org/10.1016/..

10

A theoretical investigation into quantitative modal logic:

Liau, Churn-Jung ; Lin, Bertrand I-Peng
Fuzzy Sets and Systems. 75 (1995) 3 - p. 355-363 , 1995

Link: https://doi.org/10.1016/..

11

Proof methods for reasoning about possibility and necessity:

Liau, Churn Jung ; Lin, Bertrand I-Peng
International Journal of Approximate Reasoning. 9 (1993) 4 - p. 327-364 , 1993

Link: https://doi.org/10.1016/..

12

Abstract minimality and circumscription:

Liau, Churn Jung ; Lin, Bertrand I-peng
Artificial Intelligence. 54 (1992) 3 - p. 381-396 , 1992

Link: https://doi.org/10.1016/..

13

Fuzzy term-rewriting system:

Liau, Churn Jung ; Lin, Bertrand I-peng
Fuzzy Sets and Systems. 44 (1991) 1 - p. 1-15 , 1991

Link: https://doi.org/10.1016/..

14

Semiperfect coalgebras:

Lin, Bertrand I-peng
Journal of Algebra. 49 (1977) 2 - p. 357-373 , 1977

Link: https://doi.org/10.1016/..

15

Morita's Theorem for Coalgebras:

Lin, Bertrand I-peng
Communications in Algebra. 1 (1974) 4 - p. 311-344 , 1974

Link: https://doi.org/10.1080/..