國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Proof reconstruction in classical an...

~

Schmitt, Stephan.

Proof reconstruction in classical and non-classical logics /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Proof reconstruction in classical and non-classical logics // Stephan Schmitt.
Author:	Schmitt, Stephan.
Published:	Berlin :Akademische Verlagsgesellschaft Aka, : c2000.,
Description:	xii, 216 p. :ill. ; : 21 cm.;
Notes:	Originally presented as the author's thesis (doctoral)--Technische Universitat, Darmstadt, 1999.
Subject:	Nonclassical mathematical logic. -
ISBN:	3898382397 (pbk.) :

Proof reconstruction in classical and non-classical logics /
Schmitt, Stephan.

Proof reconstruction in classical and non-classical logics /Stephan Schmitt. - Berlin :Akademische Verlagsgesellschaft Aka,c2000. - xii, 216 p. :ill. ;21 cm. - Dissertationen zur kunstlichen Intelligenz,Bd. 2390941-5769 ;.

Originally presented as the author's thesis (doctoral)--Technische Universitat, Darmstadt, 1999.

Includes bibliographical references (p. [209]-216)

ISBN: 3898382397 (pbk.) :NT1576Subjects--Topical Terms:

743080
Nonclassical mathematical logic.

Proof reconstruction in classical and non-classical logics /
LDR:00632cam a2200157 a 4500 001 789131
005 20140922185820.0
008 141028s2000 gw a 000 0 eng d
020 $a 3898382397 (pbk.) : $c NT1576
035 $a E040647
041 0 # $a eng
100 1 $a Schmitt, Stephan. $3 985246
245 1 0 $a Proof reconstruction in classical and non-classical logics / $c Stephan Schmitt.
260 # $a Berlin : $c c2000. $b Akademische Verlagsgesellschaft Aka,
300 $a xii, 216 p. : $b ill. ; $c 21 cm.
490 0 $a Dissertationen zur kunstlichen Intelligenz, $v Bd. 239 $x 0941-5769 ;
500 $a Originally presented as the author's thesis (doctoral)--Technische Universitat, Darmstadt, 1999.
504 $a Includes bibliographical references (p. [209]-216)
650 # 0 $a Nonclassical mathematical logic. $3 743080

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

E040647

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

511.31 S355 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