>> Google Books
所蔵情報QRコード

The computer modelling of mathematical reasoning / Alan Bundy

資料種別:
図書
出版情報:
London ; New York : Academic Press, 1983
形態:
xiv, 322 p. ; 23 cm
著者名:
Bundy, Alan <DA00439955>  
ISBN:
9780121412524 [0121412520] (: pbk.)
9780121412500 [0121412504] (: cased)
書誌ID:
BA20009384
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Mathematical knowledge management : Third International Conference, MKM 2004, Białowieża, Poland, September, 19-21, 2004 : proceedings

MKM, Asperti, Andrea, Bancerek, Grzegorz, Trybulec, Andrzej

Springer
7 図書 Mathematica : a system for doing mathematics by computer (: pbk)

Wolfram, Stephen, 1959-

Addison-Wesley Pub. Co., the Advanced Book Program
2 図書 Mathematical knowledge management : Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings

MKM, Asperti, Andrea, Buchberger, Bruno, 1942-, Davenport, J. H.

Springer
8 図書 Computer approaches to mathematical problems

Nievergelt, Jurg, Farrar, J. Craig, Reingold, Edward M., 1945-

Prentice-Hall
3 図書 Logic for computer science : foundations of automatic theorem proving

Gallier, Jean H.

University Microfilms International
9 図書 Mathematica : a system for doing mathematics by computer (: pbk)

Wolfram, Stephen, 1959-

Addison-Wesley Pub. Co.
4 図書 Logic for computer science : foundations of automatic theorem proving

Gallier, Jean H.

Harper & Row
10 図書 Exploring mathematics with Mathematica : dialogs concerning computers and mathematics (: hardcover ; : pbk)

Gray, Theodore W., Glynn, Jerry

Addison-Wesley
5 図書 Mathematical experiments on the computer

Grenander, Ulf, 1923-

Academic Press
11 図書 Computer programming: techniques, analysis, and mathematics

Andree, Richard Vernon, 1919-, Andree, Josephine P., Andree, David D.

Prentice-Hall
6 図書 Mathematical methods for digital computers (v. 1 ; v. 2)

Ralston, Anthony, Wilf, Herbert S., 1931-

Wiley
12 雑誌 Acta polytechnica Scandinavica. Mathematics and computer science series

Teknillisten Tieteiden Akatemia

[Finnish Academy of Technical Science]
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12