Artificial intelligence and symbolic mathematical computing : international conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin :
Springer-Verlag,
1993
|
| Series: | Lecture notes in computer science ;
737 |
| Genre/form: | sborníky konferencí |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01364nam a2200349 a 4500 | ||
|---|---|---|---|
| 001 | 000092371 | ||
| 003 | CZ PrSTK | ||
| 005 | 20220103090202.0 | ||
| 008 | 931117s1993 gw ||| | eng | ||
| 040 | |a ABA013 |b cze | ||
| 050 | 0 | |a Q334 |b .A37 1992 | |
| 072 | 7 | |a 004.8 |x Umělá inteligence |2 Konspekt |9 23 | |
| 080 | |a 004.8 |2 MRF | ||
| 080 | |a 51 |2 MRF | ||
| 080 | |a 004.83 |2 MRF | ||
| 080 | |a 004.021 |2 MRF | ||
| 080 | |a (062.534) |2 MRF | ||
| 245 | 0 | 0 | |a Artificial intelligence and symbolic mathematical computing : |b international conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings / |c Edited by Jacques Calmet, John A. Campbell |
| 250 | |a 1. ed. | ||
| 260 | |a Berlin : |b Springer-Verlag, |c 1993 | ||
| 300 | |a 305 s. | ||
| 490 | 0 | |a Lecture notes in computer science ; |v 737 | |
| 500 | |a Konference, Karlsruhe, 1992 | ||
| 650 | 0 | 7 | |a umělá inteligence |x vt |7 psh12516 |2 psh |
| 650 | 0 | 7 | |a matematika |x ma |7 psh7093 |2 psh |
| 650 | 0 | 7 | |a automatizované řešení problémů |x vt |7 psh12523 |2 psh |
| 650 | 0 | 7 | |a symbolické výpočty |x if |7 psh6613 |2 psh |
| 655 | 7 | |a sborníky konferencí |7 fd133333 |2 czenas | |
| 700 | 1 | |a Calmet, Jacques, |d 1941- |7 stk2007383533 |4 edt | |
| 700 | 1 | |a Campbell, John A., |d 1940 srp. 29- |7 xx0027119 |4 edt | |
| 910 | |a ABA013 |b A 29225 | ||
| 996 | |a STK |b 2660068845 |c 5242/93 |d 19931117 |f 1349.00 |g A 29225 |v Q334 .A37 1992 |l 6.NP, regál 6C/125 |t 03 | ||