Thông tin ấn phẩm
511.3 BU-A
The Computer Modelling Of Mathematical Reasoning
Tác giả: Bundy, Alan,
Nhà xuất bản
Academic PressNăm xuất bản
1983Lần xuất bản
Đang cập nhậtNgôn ngữ
Tiếng ViệtTóm tắt
Nội dung gồm: 5 phần: Formal notation, Uniform proof procedures...
Đầu mục
Danh sách các kho đang có sẵn ấn phẩm
| Nơi lưu trữ | Có sẵn |
|---|---|
| Kho Khoa Công nghệ Thông tin | 1 |
Marc
Thông tin ấn phẩm theo chuẩn MARC 21
001
3156
002 3
004 C06E97B4-EA9D-4825-9EC8-91377930F14D
005 201508070934
008 081223s1983||||vm|#################vie#d
009 1 0
039 ## $y20150807093420 $zduchieu
082 ## $a511.3 $bBU-A
100 $aBundy, Alan
245 ## $aThe Computer Modelling Of Mathematical Reasoning / $cAlan Bundy
260 ## $aAmerica : $bAcademic Press, $c1983
300 ## $a322tr. : $bSơ đồ ; $c24cm
520 ## $aNội dung gồm: 5 phần: Formal notation, Uniform proof procedures...
653 ## $aFormal notation
653 ## $aThe Computer Modelling Of Mathematical Reasoning
653 ## $aThe Computer
852 ## $a02 $bKho Khoa Công nghệ Thông tin $j(1): 02100155
890 ## $a1 $b0 $c0 $d0
002 3
004 C06E97B4-EA9D-4825-9EC8-91377930F14D
005 201508070934
008 081223s1983||||vm|#################vie#d
009 1 0
039 ## $y20150807093420 $zduchieu
082 ## $a511.3 $bBU-A
100 $aBundy, Alan
245 ## $aThe Computer Modelling Of Mathematical Reasoning / $cAlan Bundy
260 ## $aAmerica : $bAcademic Press, $c1983
300 ## $a322tr. : $bSơ đồ ; $c24cm
520 ## $aNội dung gồm: 5 phần: Formal notation, Uniform proof procedures...
653 ## $aFormal notation
653 ## $aThe Computer Modelling Of Mathematical Reasoning
653 ## $aThe Computer
852 ## $a02 $bKho Khoa Công nghệ Thông tin $j(1): 02100155
890 ## $a1 $b0 $c0 $d0
×
![]()