1
Corporate Authors:
Group Author: ; ; ;
Published: IEEE Press,
Publication Dates: [1980]
Call Number: TP15-53/S614/1980
Group Author: ; ; ;
Published: IEEE Press,
Publication Dates: [1980]
Call Number: TP15-53/S614/1980
2
Corporate Authors:
Group Author: ; ;
Published: Institute of Electrical and Electronics Engineers,
Publication Dates: c1981.
Call Number: TP15-532/W784/1981/v.1
;
Group Author: ; ;
Published: Institute of Electrical and Electronics Engineers,
Publication Dates: c1981.
Call Number: TP15-532/W784/1981/v.1
3
Corporate Authors:
Published: ACM,
Publication Dates: 1991].
Call Number: TP3-532/A849/1991
;
Published: ACM,
Publication Dates: 1991].
Call Number: TP3-532/A849/1991
4
Corporate Authors:
Published: ACM,
Publication Dates: 2004.
Call Number: WCDM/TP393.092-532/I618/2004
;
Published: ACM,
Publication Dates: 2004.
Call Number: WCDM/TP393.092-532/I618/2004
5
Corporate Authors:
Group Author: ;
Published: ACM Press,
Publication Dates: [2003].
Call Number: WCDM/TP14-532/C748/2003
;
Group Author: ;
Published: ACM Press,
Publication Dates: [2003].
Call Number: WCDM/TP14-532/C748/2003
6
Corporate Authors:
Group Author:
Published: ACM Press,
Publication Dates: c2002.
Call Number: TP391.41-532/S769/2002
;
Group Author:
Published: ACM Press,
Publication Dates: c2002.
Call Number: TP391.41-532/S769/2002
7
Corporate Authors:
Group Author: ; ; ;
Published: ACM Press,
Publication Dates: c2003.
Call Number: TP391.41-532/A849-2/2003
;
Group Author: ; ; ;
Published: ACM Press,
Publication Dates: c2003.
Call Number: TP391.41-532/A849-2/2003
8
Corporate Authors:
Published: Association for Computing Machinery,
Publication Dates: c2006.
Call Number: TP391.41-532/A849-4/2006
;
Published: Association for Computing Machinery,
Publication Dates: c2006.
Call Number: TP391.41-532/A849-4/2006
9
Corporate Authors:
Group Author: ; ; ;
Published: Association for Computing Machinery,
Publication Dates: c2002.
Call Number: TP11-532/D457/2002
; ;
Group Author: ; ; ;
Published: Association for Computing Machinery,
Publication Dates: c2002.
Call Number: TP11-532/D457/2002
10
Theoretical aspects of reasoning about knowledge : proceedings of the Fifth Conference (TARK 1994) /
Corporate Authors:
Group Author:
Published: Morgan Kaufmann,
Publication Dates: 1994.
; ;
Group Author:
Published: Morgan Kaufmann,
Publication Dates: 1994.
11
Corporate Authors:
Group Author:
Published: Association for Computing Machinery,
Publication Dates: [2012]
Call Number: TP31-532/A849/2012
; ; ; ;
Group Author:
Published: Association for Computing Machinery,
Publication Dates: [2012]
Call Number: TP31-532/A849/2012
12
Corporate Authors:
Group Author:
Published: Association for Computing Machinery,
Publication Dates: c2005.
Call Number: TP11-532/I613-4/2005
; ; ;
Group Author:
Published: Association for Computing Machinery,
Publication Dates: c2005.
Call Number: TP11-532/I613-4/2005
13
Corporate Authors:
Published: Association for Computing Machinery,
Publication Dates: c1983.
Call Number: TP3-53/A849.5/1983
; ;
Published: Association for Computing Machinery,
Publication Dates: c1983.
Call Number: TP3-53/A849.5/1983
14
Corporate Authors:
Published: Association for Computing Machinery,
Publication Dates: [2017]
Call Number: TP302.1-532/C748/2017
; ; ; ;
Published: Association for Computing Machinery,
Publication Dates: [2017]
Call Number: TP302.1-532/C748/2017
15
Corporate Authors:
Group Author:
Published: Association for Computing Machinery,
Publication Dates: c2010.
Call Number: TP311.13-532/I613/2010
; ;
Group Author:
Published: Association for Computing Machinery,
Publication Dates: c2010.
Call Number: TP311.13-532/I613/2010
16
Corporate Authors:
Published: Association for Computing Machinery,
Publication Dates: c2009.
Call Number: TP311.13-532/S478/2009
; ;
Published: Association for Computing Machinery,
Publication Dates: c2009.
Call Number: TP311.13-532/S478/2009
17
Corporate Authors:
Group Author: ;
Published: ACM,
Publication Dates: c2004.
Call Number: TP391.9-532/A849-2/2004
; ; ;
Group Author: ;
Published: ACM,
Publication Dates: c2004.
Call Number: TP391.9-532/A849-2/2004
18
Corporate Authors:
Group Author: ; ;
Published: Association for Computing Machinery,
Publication Dates: c2008.
Call Number: TP311.13-532/D419/2008
; ; ;
Group Author: ; ;
Published: Association for Computing Machinery,
Publication Dates: c2008.
Call Number: TP311.13-532/D419/2008
19
Corporate Authors:
Published:
Call Number: TP332-532/S989/1977
; ; ;
Published:
Call Number: TP332-532/S989/1977
20
Corporate Authors:
Group Author: ;
Published: Computation and Control
Publication Dates: [2013]
Call Number: TP393-532/H992/2013
; ; ; ;
Group Author: ;
Published: Computation and Control
Publication Dates: [2013]
Call Number: TP393-532/H992/2013