Symposium on logic in computer science : proceedings, 11th, New Brunswick, New Jersey, July 27-30, 1996
nstitute of Electrical and Electronics Engineers
Symposium on logic in computer science : proceedings, 11th, New Brunswick, New Jersey, July 27-30, 1996 - - Los Alamitos : Computer Society Press, 1996 1996 - xv,531 p. 27.5 cm - .
0-7803-3654-20
Logic, Symbolic and mathematical-Congresses
Computer science-Mathematics-Congresses
681.3:517.1 Ins:11:96
Symposium on logic in computer science : proceedings, 11th, New Brunswick, New Jersey, July 27-30, 1996 - - Los Alamitos : Computer Society Press, 1996 1996 - xv,531 p. 27.5 cm - .
0-7803-3654-20
Logic, Symbolic and mathematical-Congresses
Computer science-Mathematics-Congresses
681.3:517.1 Ins:11:96