Automated deduction in geometry
| Permalink: | http://skupnikatalog.nsk.hr/Record/fer.KOHA-OAI-FER:35155/Details |
|---|---|
| Ostali autori: | International Workshop on Automated Deduction in Geometry (-) |
| Ostali autori: | Wang, Dongming (-) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Berlin ; New York :
Springer,
c1998.
|
| Nakladnička cjelina: |
Lecture notes in computer science ;
1360. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Predmet: | |
| Online pristup: |
Publisher description Table of contents only |
| LEADER | 01642pam a2200325 a 4500 | ||
|---|---|---|---|
| 005 | 20130713153435.0 | ||
| 008 | 980305s1998 gw a b 101 0 eng | ||
| 010 | |a 98006388 | ||
| 020 | |a 3540642978 (alk. paper) | ||
| 040 | |a DLC |c DLC |d HR-ZaFER |b hrv |e ppiak | ||
| 050 | 0 | 0 | |a QA448.D38 |b I577 1996 |
| 082 | 0 | 0 | |a 516/.00285 |2 21 |
| 111 | 2 | |a International Workshop on Automated Deduction in Geometry |n (1st : |d 1996 : |c Toulouse, France) | |
| 245 | 1 | 0 | |a Automated deduction in geometry : |b International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers / |c Dongming Wang (ed.). |
| 260 | |a Berlin ; |a New York : |b Springer, |c c1998. | ||
| 300 | |a 234 p. : |b ill. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 1360. |a Lecture notes in artificial intelligence | |
| 504 | |a Includes bibliographical references and index. | ||
| 650 | 0 | |a Geometry |x Data processing |x Congresses. | |
| 650 | 0 | |a Automatic theorem proving |x Congresses. | |
| 650 | 0 | |a Logic, Symbolic and mathematical |x Congresses. | |
| 700 | 1 | |a Wang, Dongming. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 1360. | |
| 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/98006388-d.html |
| 856 | 4 | 1 | |3 Table of contents only |u http://www.loc.gov/catdir/enhancements/fy0815/98006388-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 pc03 to ja00 03-05-98; jd25 03-09-98; jd99 03-09-98; jd85 03-13-98; CIP ver. jc09 07-08-98 | ||
| 999 | |c 35155 |d 35155 | ||