國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

A computational logic handbook

~

Boyer, Robert S

A computational logic handbook

Record Type:	Language materials, printed : monographic
Author:	BoyerRobert S,
Secondary Intellectual Responsibility:	MooreJ Strother, 1947
Place of Publication:	Boston
Published:	Academic Press;
Year of Publication:	c1998
Edition:	2nd ed
Description:	xxv, 518 p23 cm;
Subject:	Automatic theorem proving -
Notes:	Includes index
ISBN:	0121229556

A computational logic handbook
Boyer, Robert S

A computational logic handbook / Robert S. Boyer, J Strother Moore - 2nd ed. - Boston : Academic Press, c1998. - xxv, 518 p ; 23 cm.
Includes index.
Bibliography: p.493 - 505.
ISBN 0121229556
Automatic theorem proving

Moore, J Strother

A computational logic handbook
LDR:00677cam 2200229 i 450 001 435637
005 20101024062654.0
009 a88022175
010 1 $a 0121229556 $b (hard)
100 $a 20080130d1998 m y0engy01 b
101 0 $a eng
200 1 $a A computational logic handbook $f Robert S. Boyer, J Strother Moore
205 $a 2nd ed
210 $a Boston $c Academic Press $d c1998
215 0 $a xxv, 518 p $d 23 cm
300 $a Includes index
320 $a Bibliography: p.493 - 505
606 $a Automatic theorem proving $3 414208 $2 lc $3 724079
676 $a 511.3 $b B791
676 $a 511.3 $v 19
680 $a QA76.9.A96 $b B684 1998
700 $a Boyer $b Robert S $3 414206
702 $a Moore $b J Strother $f 1947 $3 414207
801 0 $a cw $b BIB $c 19980618
801 1 $a cw $b national library $c 19980618
801 1 $a cw $b 國立國立虎尾科技大學圖書館 $c 19980730 $g CCR

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

E018082

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

511.3 B791 1998

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login