Chcete-li získat tento dokument, vstupte
přímo do katalogu.
If you want to get more information about the document, enter the
online catalog.
Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 000046090
Navigace: https://aleph.vkol.cz/pub / svk01 / 00004xxxx / 0000460xx / 000046090.htm
Chcete-li získat tento dokument, vstupte přímo do katalogu.
If you want to get more information about the document, enter the online catalog.
| 020 | 3-540-51705-7 (brož) : bc |
| 080 | 681.3:164 |
| 080 | 681.3:519.7/.8 |
| 24500 | Computational Aspects of an Order-Sorted Logic with Term Declarations |
| 260 | Berlin : Springer, 1989 |
| Informační poznámka | 8, 171 s |
| Angl.ekvivalent PK | Lecture Notes in Artificial Intelligence ; 395 |
| Viz též (os.jméno) | Bibliogr. s. 156-166 |
| 7001 | Schmidt-Schaus, M. (Manfred) |
| Pozn.katalogizátora | Lecture Notes in Artificial Intelligence |
| 910 | OLA001 770.452 |
| 964 | Inteligence umělá logika počítačová |
| 964 | Logika počítačová inteligence umělá |
| EXE | 1 |
Úvodní stránka katalogu.
O úroveň zpět..
© 2007 Ex Libris & Vědecká knihovna v Olomouci - webmaster.