AUTHORS (1-4 of 4)
Pirri, Fiora, Dr
1
book jacket

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings
TABLEAUX 2003 (2003 : Rome, Italy)
Berlin ; New York : Springer, 2003
2003
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro F4.1 A532 2003  LNCS 2796    LIB USE ONLY    30330000162037
2
book jacket

Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings
TABLEAUX 2003 (2003 : Rome, Italy)
Berlin ; New York : Springer, c2003
c2003
電子書

Location: 中央研究院
3
book jacket

Logical foundations for cognitive agents : contributions in honor of Ray Reiter

Berlin ; New York : Springer, c1999
 
c1999
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Books  I2.4 L8325:2    AVAILABLE    30330000140165
4
book jacket

Logical foundations for cognitive agents contributions in honor of Ray Reiter

Berlin ; New York : Springer, ©1999
1999
電子書

Location: Mathematics Library