|
|
|
|
| LEADER |
01781nam a2200373 a 4500 |
| 001 |
3837471d-a964-4996-8962-d7f11af5fccd |
| 005 |
20230619000000.0 |
| 008 |
040702s2004 gw a b 100 0 eng c |
| 010 |
|
|
|a 2004107782
|
| 020 |
|
|
|a 3540223452
|
| 035 |
|
|
|a (OCoLC)55808028
|
| 035 |
|
|
|a 5148016
|
| 040 |
|
|
|a YUS
|c YUS
|d OHX
|d KKS
|d CGU
|d OCLCQ
|d C$Q
|d OCLCQ
|d NIC
|
| 042 |
|
|
|a pcc
|
| 050 |
|
4 |
|a QA76.9.A96
|b I38 2004
|
| 072 |
|
7 |
|a QA
|2 lcco
|
| 111 |
2 |
|
|a IJCAR (Conference)
|n (2nd :
|d 2004 :
|c Cork, Ireland)
|
| 245 |
1 |
0 |
|a Automated reasoning :
|b second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
|c David Basin, Michaël Rusinowitsch (eds.)
|
| 246 |
3 |
0 |
|a IJCAR 2004
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer,
|c 2004
|
| 300 |
|
|
|a xii, 491 p. :
|b ill. ;
|c 24 cm
|
| 490 |
1 |
|
|a Lecture notes in computer science,
|x 0302-9743 ;
|v 3097. Lecture notes in artificial intelligence
|
| 530 |
|
|
|a Also issued online
|
| 650 |
|
0 |
|a Automatic theorem proving
|v Congresses
|
| 650 |
|
0 |
|a Computer logic
|v Congresses
|
| 650 |
|
7 |
|a Automatic theorem proving
|2 fast
|
| 650 |
|
7 |
|a Computer logic
|2 fast
|
| 655 |
|
7 |
|a Conference papers and proceedings
|2 fast
|
| 700 |
1 |
|
|a Basin, David
|
| 700 |
1 |
|
|a Rusinowitsch, Michaël
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 3097
|
| 830 |
|
0 |
|a Lecture notes in computer science
|p Lecture notes in artificial intelligence.
|
| 999 |
1 |
0 |
|i 3837471d-a964-4996-8962-d7f11af5fccd
|l 5148016
|s US-NIC
|m automated_reasoningsecond_international_joint_conference_ijcar_2004_co_____2004_______sprina________________________________________ijcar__conference__________________p
|
| 999 |
1 |
1 |
|l 5148016
|s ISIL:US-NIC
|t BKS
|a engr,anx
|b 31924099314142
|c QA76.9.A96 I38 2004
|d lc
|k 1
|x Book
|y a21cfd52-1301-4adc-af5c-0aceff1db857
|p LOANABLE
|