Blank Cover Image
タイトル、所在が表示されます

The computer modelling of mathematical reasoning

フォーマット:
図書
責任表示:
Alan Bundy
言語:
英語
出版情報:
London ; Tokyo : Academic Press, 1983
形態:
xiv, 403 p. ; 24 cm
著者名:
Bundy, Alan <DA00439955>  
書誌ID:
BA00227316
子書誌情報
Loading
eリソース
Loading
所蔵情報
Loading availability information

類似資料:

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

Bundy, Alan

Academic Press

戸次, 大介(1973-)

東京大学出版会

Robinson, J. A. (John Alan)

University Press

Costa, Newton C. A. da, Alcantara, Luiz Paulo de, 1944-

M. Dekker

Friedr. Vieweg & Sohn

Cellucci, Carlo, Gillies, Donald, 1944-

King's College Publications

Hermes, Hans, Schmidt, Diana

Springer-Verlag

Stibitz, George R. (George Robert), 1904-, Larrivee, Jules A. (Jules Alphonse), 1909-

McGraw-Hill

Łukasiewicz, Jan, Wojtasiewicz, Olgierd

Pergamon Press

Latin-American Symposium on Mathematical Logic, Di Prisco, C. A., 1949-, Asociación Venezolana para el Avance de la &hellip;

Springer-Verlag