Normal view MARC view ISBD view

Handbook of automated reasoning / editors, Alan Robinson and Andr ei Voronkov.

Contributor(s):

Material type: Text

Text

TextPublication details: Amsterdam : Elsevier, c2001.Description: 2 v. (xxv, 2122 p.) : ill. ; 25 cmISBN:

0444829490 (Elsevier Science, v. 1 : alk. paper
0444508120 (Elsevier Science, v. 2 : alk. paper)
0444508139 (Elsevier Science, set of v. 1 + 2 : alk. paper)

Subject(s):

DDC classification:

511.3 HAN 21

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Status	Barcode
Books - Open Access	Main Library - IDA	Available	001295021
Books - Open Access	Main Library - IDA	Available	001295020

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.

Previous

Back to results

Next

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

1 Senri ethnological reports.
2 Irrigated taro (Colocasia esculenta) in the Indo-Pacific :
3 History, design, and craft in West African strip-Woven cloth :
4 New visions :
5 Survey and guide.
6 New traditions from Nigeria:
by Ottenberg, Simon
7 The social economy of sharing :
8 North American ichneumon-flies :
by Cushman, Robert Asa,
9 Time, language and cognition /
10 Acanthaceae of Bolivia /
by Wasshausen, Dieter C.
11 North American ichneumon-flies :
by Cushman, Robert Asa,
12 Time, language and cognition /
13 Acanthaceae of Bolivia /
by Wasshausen, Dieter C.
14 The Smithfield industrial complex :
by Sampson, C. Garth
15 The stone age industries of the Orange River Scheme and South Africa /
by Sampson, C.
16 The Smithfield industrial complex :
by Sampson, C. Garth
17 The stone age industries of the Orange River Scheme and South Africa /
by Sampson, C.
18 Paul-Manship /
by Rand, Harry.
19 Catalogue of New World grasses (Poaceae) /
20 The middle stone age industries of the Orang River Scheme /
by Sampson, Garth.

Close

Share