Theory reasoning in connection calculi
| Permalink: | http://skupnikatalog.nsk.hr/Record/fer.KOHA-OAI-FER:35291/Details |
|---|---|
| Glavni autor: | Baumgartner, Peter, 1962- (-) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Berlin : New York :
Springer,
c1998.
|
| Nakladnička cjelina: |
Lecture notes in computer science ;
1527. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Predmet: | |
| Online pristup: |
Publisher description Table of contents only |
| LEADER | 01320cam a22003014a 4500 | ||
|---|---|---|---|
| 005 | 20130713153443.0 | ||
| 008 | 990104s1998 gw a b 001 0 eng | ||
| 010 | |a 99010004 | ||
| 020 | |a 3540655093 (alk. paper) | ||
| 040 | |a DLC |c DLC |d HR-ZaFER |b hrv |e ppiak | ||
| 042 | |a pcc | ||
| 050 | 0 | 0 | |a QA76.9.A96 |b B38 1998 |
| 082 | 0 | 0 | |a 004/.01/5113 |2 21 |
| 100 | 1 | |a Baumgartner, Peter, |d 1962- | |
| 245 | 1 | 0 | |a Theory reasoning in connection calculi / |c Peter Baumgartner. |
| 260 | |a Berlin : |a New York : |b Springer, |c c1998. | ||
| 300 | |a ix, 283 p. : |b ill. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 1527 |a Lecture notes in artificial intelligence | |
| 504 | |a Includes bibliographical references and index. | ||
| 650 | 0 | |a Automatic theorem proving. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 1527. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0815/99010004-d.html |
| 856 | 4 | 1 | |3 Table of contents only |u http://www.loc.gov/catdir/enhancements/fy0815/99010004-t.html |
| 906 | |a 7 |b cbc |c orignew |d 1 |e ocip |f 19 |g y-gencatlg | ||
| 942 | |2 udc |c K | ||
| 955 | |a pb04 to ja00 01-04-99;jf02 01-05-99;jf11 to sl;jf12 01-06-99 to ddc; CIP ver. jf03 to SL 04-28-99 | ||
| 999 | |c 35291 |d 35291 | ||