Automated deduction, CADE-20
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:34929/Details |
|---|---|
| Ostali autori: | International Conference on Automated Deduction (-) |
| Ostali autori: | Nieuwenhuis, Robert (-) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Berlin ; New York :
Springer,
2005.
|
| Nakladnička cjelina: |
Lecture notes in computer science ;
3632. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Predmet: | |
| Online pristup: |
Table of contents Available to Stanford-affiliated users at: Publisher description |
| LEADER | 02303cam a22005057a 4500 | ||
|---|---|---|---|
| 005 | 20130713153423.0 | ||
| 008 | 050615s2005 gw a b 101 0 eng d | ||
| 010 | |a 2005929197 | ||
| 015 | |a GBA569781 |2 bnb | ||
| 020 | |a 3540280057 (pbk.) | ||
| 020 | |a 9783540280057 | ||
| 035 | |a (CStRLIN)CSUGA6008926-B | ||
| 035 | |a (CSt)(Sirsi)a6008926 | ||
| 040 | |a OHX |c OHX |d CUS |d C$Q |d UKM |d BAKER |d CSt |d HR-ZaFER |b hrv |e ppiak | ||
| 042 | |a lccopycat | ||
| 050 | 0 | 0 | |a QA76.9.A96 |b I57 2005 |
| 072 | 7 | |a QA |2 lcco | |
| 082 | 0 | 0 | |a 006.3 |2 22 |
| 111 | 2 | |a International Conference on Automated Deduction |n (20th : |d 2005 : |c Tallinn, Estonia) | |
| 245 | 1 | 0 | |a Automated deduction, CADE-20 : |b 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings / |c Robert Nieuwenhuis (ed.). |
| 246 | 3 | 0 | |a Automated deduction : |b CADE-20 |
| 246 | 3 | 0 | |a CADE-20 |
| 246 | 3 | |a CADE-twenty | |
| 246 | 3 | 0 | |a 20th International Conference on Automated Deduction |
| 246 | 3 | |a Twentieth International Conference on Automated Deduction | |
| 246 | 3 | 0 | |a International Conference on Automated Deduction |
| 246 | 1 | 8 | |a CADE 2005 |
| 260 | |a Berlin ; |a New York : |b Springer, |c 2005. | ||
| 300 | |a xiii, 457 p. : |b ill. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 3632. |a Lecture notes in artificial intelligence | |
| 504 | |a Includes bibliographical references and index. | ||
| 530 | |a Also available on the World Wide Web. | ||
| 650 | 0 | |a Automatic theorem proving |v Congresses. | |
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 700 | 1 | |a Nieuwenhuis, Robert. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 3632. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 856 | 4 | 1 | |3 Table of contents |u http://www.loc.gov/catdir/toc/fy0606/2005929197.html |
| 856 | 4 | 1 | |z Available to Stanford-affiliated users at: |u http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3632 |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0663/2005929197-d.html |
| 906 | |a 7 |b cbc |c copycat |d 2 |e ncip |f 20 |g y-gencatlg | ||
| 942 | |2 udc |c K | ||
| 955 | |a jf09 2006-03-28 z-processor |i jf09 2006-03-28 to sl |a aa07 2006-04-07 | ||
| 955 | |a pc17 2005-06-15 | ||
| 999 | |c 34929 |d 34929 | ||