>> Google Books

The computer modelling of mathematical reasoning

責任表示:
Alan Bundy
言語:
英語
出版情報:
London ; New York : Academic Press, 1983.
形態:
xiv, 322 p. ; 23 cm
著者名:
Bundy, Alan <LA00017862>  
ISBN:
9780121412524 [0121412520]
書誌ID:
LB00026412
フォーマット:
図書
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Boyer, Robert S., Moore, J. Strother, 1947-

Academic Press

Wos, Larry, 1930-

Prentice-Hall

Hoenig, Alan

McGraw-Hill

McAllester, David A.

MIT Press

Gersting, Judith L.

Computer Science Press

Manna, Zohar, Waldinger, Richard

Tokyo : Addison-Wesley

Ulam, Stanislaw M., Reynolds, Mark C., Rota, Gian-Carlo, 1932-

Birkhaüser-Boston

Johnsonbaugh, Richard, 1941-

Macmillan, Collier Macmillan

Kueker, D. W., 1943-, Lopez-Escobar, E. G. K. (Edgar G. K.), 1937-, Smith, Carl, 1950-, University of Maryland, College &hellip;

M. Dekker

Grabbe, Eugene M., Ramo, Simon, 1913-, Wooldridge, Dean E.

Wiley, Chapman & Hall