Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
A proof theory for general unification /
~
Snyder, Wayne, (1955-)
Linked to FindBook
Google Book
Amazon
博客來
A proof theory for general unification /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
A proof theory for general unification // Wayne Snyder.
Author:
Snyder, Wayne,
Published:
Boston :Birkh醀user, : 1991.,
Description:
vi, 175 p. :ill. ;25 cm.
Series:
Progress in computer science and applied logic ;
Subject:
Automatic theorem proving. -
ISBN:
0817635939 (hard : acid-free) :
A proof theory for general unification /
Snyder, Wayne,1955-
A proof theory for general unification /
Wayne Snyder. - Boston :Birkh醀user,1991. - vi, 175 p. :ill. ;25 cm. - Progress in computer science and applied logic ;v. 11.
Includes bibliographical references (p. [167]-175).
ISBN: 0817635939 (hard : acid-free) :US28.00
LCCN: 91028684Subjects--Topical Terms:
655280
Automatic theorem proving.
LC Class. No.: QA76.9.A96 / S6 1991
Dewey Class. No.: 511.3
A proof theory for general unification /
LDR
:00661nam a2200193 a 45
001
648870
005
19920116081205.6
008
910827s1991 maua b 00010 eng
010
$a
91028684
020
$a
0817635939 (hard : acid-free) :
$c
US28.00
020
$a
3764335939 (hard : acid-free) :
$c
US28.00
035
$a
dt 00009519
040
$a
DLC
$c
DLC
$d
DLC
050
0 0
$a
QA76.9.A96
$b
S6 1991
082
0 0
$a
511.3
$2
20
100
$a
Snyder, Wayne,
$d
1955-
$3
661542
245
1 2
$a
A proof theory for general unification /
$c
Wayne Snyder.
260
0
$a
Boston :
$c
1991.
$b
Birkh醀user,
300
$a
vi, 175 p. :
$b
ill. ;
$c
25 cm.
440
0
$a
Progress in computer science and applied logic ;
$v
v. 11
504
$a
Includes bibliographical references (p. [167]-175).
650
$a
Automatic theorem proving.
$3
655280
based on 0 review(s)
Location:
ALL
罕用書庫221室(美崙校區,調書請點預約)(RU_221)
Year:
Volume Number:
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
W0020444
罕用書庫221室(美崙校區,調書請點預約)(RU_221)
01.外借(書)_YB
一般圖書
QA76.9.A96 S675 1991
一般使用(Normal)
On shelf
0
Reserve
1 records • Pages 1 •
1
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login