Works matching IS 02883635 AND DT 2011 AND VI 29 AND IP 4


Results: 5
    1
    2

    Paraconsistent Computation Tree Logic.

    Published in:
    New Generation Computing, 2011, v. 29, n. 4, p. 391, doi. 10.1007/s00354-009-0116-6
    By:
    • Kaneiwa, Ken;
    • Kamide, Norihiro
    Publication type:
    Article
    3
    4
    5

    Index.

    Published in:
    New Generation Computing, 2011, v. 29, n. 4, p. 445, doi. 10.1007/s00354-011-0118-z
    Publication type:
    Article