國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Automated deduction in classical and...

~

Caferra, Ricardo (1945)

Automated deduction in classical and non-classical logics : selected papers

Record Type:	Language materials, printed : monographic
Title Information:	selected papers
Secondary Intellectual Responsibility:	CaferraRicardo, 1945
Secondary Intellectual Responsibility:	SalzerGernot, 1963
Place of Publication:	New York
Published:	Springer;
Year of Publication:	2000
Description:	viii, 297 pill : 24cm;
Series:	Lecture notes iin artificial intelligence
Subject:	Automatic theorem proving -
Subject:	Logic, Symbolic and mathematical -
ISBN:	3540671900

Automated deduction in classical and non-classical logics : selected papers
Automated deduction in classical and non-classical logics : selected papers / Ricardo Caferra, Gernot Salzer (eds.) - New York : Springer, 2000. - viii, 297 p ; ill ; 24cm. - (Lecture notes iin artificial intelligence ; 1761).
Includes bibliographical references and index.
ISBN 3540671900
Automatic theorem provingLogic, Symbolic and mathematical

Caferra, Ricardo

Automated deduction in classical and non-classical logics : selected papers
LDR:00729cam 2200193 i 450 001 449734
005 20101023153711.0
009 a00028492
010 1 $a 3540671900 $b (pbk.) $d NT
100 $a 20080130d2000 m y0engy01 b
101 0 $a eng
200 1 $a Automated deduction in classical and non-classical logics $e selected papers $f Ricardo Caferra, Gernot Salzer (eds.)
210 $a New York $c Springer $d 2000
215 0 $a viii, 297 p $c ill $d 24cm
225 2 $a Lecture notes iin artificial intelligence $v 1761
320 $a Includes bibliographical references and index
410 0 $1 2001 $a ;1761. $a Lecture notes iin artificial intelligence
606 $a Automatic theorem proving $3 414208 $2 lc $3 724079
606 $a Logic, Symbolic and mathematical $3 397502 $2 lc $3 724080
676 $a 006.3/33 $v 21
680 $a QA76.9.A96 $b A85 2000
702 $a Caferra $b Ricardo $f 1945 $3 432038
702 $a Salzer $b Gernot $f 1963 $3 432039
801 1 $a cw $b 國立虎尾科技大學圖書館圖書館 $c 20020118

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

E021170

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

006.333 A939 2000

一般使用(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