東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回上頁

切換: 標籤 | MARC模式 | ISBD

Selected papers on Automath /

~

Nederpelt, R. P.

FindBook

Google Book

Amazon

博客來

Selected papers on Automath /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Selected papers on Automath // edited by R.P. Nederpelt ... [et al.].
其他作者:	Nederpelt, R. P.
出版者:	Amsterdam ;Elsevier, : 1994.,
面頁冊數:	xix, 1024 p. :ill. ;24 cm.
叢書名:	Studies in logic and the foundations of mathematics ;
標題:	AUTOMATH (Formal language) -
ISBN:	0444898220

Selected papers on Automath /
Selected papers on Automath /edited by R.P. Nederpelt ... [et al.]. - Amsterdam ;Elsevier,1994. - xix, 1024 p. :ill. ;24 cm. - Studies in logic and the foundations of mathematics ;v. 133.

Includes bibliographical references and indexes.

ISBN: 0444898220

LCCN: 94034022Subjects--Topical Terms:

668637
AUTOMATH (Formal language)

LC Class. No.: QA267.3 / .S45 1994

Dewey Class. No.: 511.3

Selected papers on Automath /
LDR:00621nam a2200193 a 45 001 651952
003 DLC
005 19950104150219.3
008 940818s1994 ne a b 001 0 eng
010 $a 94034022
020 $a 0444898220
035 $a dt 00010275
040 $a DLC $c DLC $d DLC
050 0 0 $a QA267.3 $b .S45 1994
082 0 0 $a 511.3 $2 20
245 0 0 $a Selected papers on Automath / $c edited by R.P. Nederpelt ... [et al.].
260 $a Amsterdam ; $a New York : $c 1994. $b Elsevier,
300 $a xix, 1024 p. : $b ill. ; $c 24 cm.
440 0 $a Studies in logic and the foundations of mathematics ; $v v. 133
504 $a Includes bibliographical references and indexes.
650 $a AUTOMATH (Formal language) $3 668637
700 $a Nederpelt, R. P. $q (Rob P.) $3 668636

筆 0 讀者評論

館藏地: 出版年: 卷號:

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

W0022232

罕用書庫221室(美崙校區,調書請點預約)(RU_221)

01.外借(書)_YB

一般圖書

QA267.3 S464 1994

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館

變更密碼

登入