001.535 / B882c
Alan, Bundy
THE COMPUTER MODELLING OF MATHEMATICAL REASONING / .- London: Academic Press, 1983 .- xiv,322 .
Bibliography : P. 312-317
Subject Headings:
Artificial Intelligence;
Copy Details:
Acc. No.: A89468, Full Call No.: 001.535 B882c, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Alan, Bundy
THE COMPUTER MODELLING OF MATHEMATICAL REASONING / .- London: Academic Press, 1983 .- xiv,322 .
Bibliography : P. 312-317
Subject Headings:
Artificial Intelligence;
Copy Details:
Acc. No.: A89468, Full Call No.: 001.535 B882c, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------