東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Automated reasoning and mathematics ...

Bonacina, Maria Paola.

Linked to FindBook

Google Book

Amazon

博客來

Automated reasoning and mathematics : = essays in memory of William W. McCune /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Automated reasoning and mathematics :/ Maria Paola Bonacina, Mark E. Stickel (eds.).
Reminder of title:	essays in memory of William W. McCune /
other author:	Bonacina, Maria Paola.
Published:	Berlin ;Springer, : c2013. ,
Description:	xx, 257 p. :ill. ;24 cm.
Subject:	Artificial intelligence. -
ISBN:	9783642366741 (pbk.) :
ISSN:	03029743

Automated reasoning and mathematics : = essays in memory of William W. McCune /
Automated reasoning and mathematics :essays in memory of William W. McCune /Maria Paola Bonacina, Mark E. Stickel (eds.). - Berlin ;Springer,c2013. - xx, 257 p. :ill. ;24 cm. - LNCS sublibrary. SL 7, Artificial intelligence. . - LNCS sublibrary.SL 7,Artificial intelligence. .

Includes bibliographical references and index.

ISBN: 9783642366741 (pbk.) :EUR46.00

ISSN: 03029743Subjects--Topical Terms:

2012945
Artificial intelligence.

LC Class. No.: Q335 / .A98 2013

Dewey Class. No.: 006.3

Automated reasoning and mathematics : = essays in memory of William W. McCune /
LDR:01040cam a22002775a 450 001 1875261
003 OCoLC
005 20131223131837.0
008 130828s2013 gw a b 011 0 eng d
019 $a 827257717
020 $a 9783642366741 (pbk.) : $c EUR46.00
020 $a 3642366740 (pbk.)
020 $a 9783642366758 (ebk.)
020 $a 3642366759 (ebk.)
022 $a 03029743
022 $a 16113349 (ebk.)
035 $a AS-BW-102-N-03
040 $a HUA $c HUA $d OCLCO $d BTCTA
050 # 4 $a Q335 $b .A98 2013
082 0 4 $a 006.3 $2 23
245 0 0 $a Automated reasoning and mathematics : $b essays in memory of William W. McCune / $c Maria Paola Bonacina, Mark E. Stickel (eds.).
260 # $a Berlin ; $a New York : $b Springer, $c c2013.
300 $a xx, 257 p. : $b ill. ; $c 24 cm.
490 1 $a LNCS sublibrary. SL 7, Artificial intelligence.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 7788. $a Lecture notes in artificial intelligence.
490 1 $a Lecture notes in computer science. Festschrift.
504 $a Includes bibliographical references and index.
650 # 0 $a Artificial intelligence. $3 2012945
650 # 0 $a Computer logic. $3 2012635
700 1 # $a Bonacina, Maria Paola. $3 2012942
700 1 # $a Stickel, M. E. $q (Mark E.), $d 1947- $3 2012943
830 0 $a LNCS sublibrary. $n SL 7, $p Artificial intelligence. $3 2012602
830 0 $a Lecture notes in computer science ; $v 5353. $x 0302-9743 $3 1274248
830 0 $a Lecture notes in computer science. $p Festschrift. $3 2012944
830 0 $a Lecture notes in computer science. $p Lecture notes in artificial intelligence. $3 2012603