|
|
|
|
| LEADER |
01500cam a2200409 a 4500 |
| 005 |
20130713153429.0 |
| 008 |
060811s2006 gw a b 101 0 eng d |
| 015 |
|
|
|a GBA675665
|2 bnb
|
| 016 |
7 |
|
|a 980624436
|2 GyFmDB
|
| 016 |
7 |
|
|a 013543219
|2 Uk
|
| 020 |
|
|
|a 3540371877 (pbk.)
|
| 024 |
3 |
|
|a 9783540371878
|
| 035 |
|
|
|a (OCoLC)ocm70886323
|
| 035 |
|
|
|a (NNC)5832860
|
| 040 |
|
|
|a OHX
|c OHX
|d UKM
|d HR-ZaFER
|b hrv
|e ppiak
|
| 050 |
|
4 |
|a QA76.9.A96
|b I38 2006
|
| 072 |
|
7 |
|a QA
|2 lcco
|
| 082 |
0 |
4 |
|a 006.333
|2 22
|
| 111 |
2 |
|
|a IJCAR 2006
|d (2006 :
|c Seattle, Wash.)
|
| 245 |
1 |
0 |
|a Automated reasoning :
|b third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
|c Ulrich Furbach, Natarajan Shankar (eds.).
|
| 246 |
3 |
0 |
|a IJCAR 2006
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer,
|c c2006.
|
| 300 |
|
|
|a xv, 680 p. :
|b ill. ;
|c 24 cm.
|
| 490 |
1 |
|
|a Lecture notes in computer science,
|x 0302-9743 ;
|v 4130.
|a Lecture notes in artificial intelligence
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
|
0 |
|a Automatic theorem proving
|v Congresses.
|
| 650 |
|
0 |
|a Computer logic
|v Congresses.
|
| 653 |
1 |
|
|a Automated reasoning
|
| 653 |
1 |
|
|a IJCAR
|
| 700 |
1 |
|
|a Furbach, Ulrich.
|
| 700 |
1 |
|
|a Shankar, N.
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 4130.
|
| 830 |
|
0 |
|a Lecture notes in computer science.
|p Lecture notes in artificial intelligence.
|
| 900 |
|
|
|a AUTH
|
| 942 |
|
|
|2 udc
|c K
|
| 948 |
1 |
|
|a 20060926
|b c
|c oc2016
|d MPS
|
| 999 |
|
|
|c 35047
|d 35047
|
