Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000. Proceedings
Uloženo v:
| Další autoři: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Berlin :
Springer,
2000
|
| Edice: | Lecture notes in computer science ;
1955 |
| ISBN: | 3-540-41285-9 |
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
| LEADER | 01308nam a2200337 a 4500 | ||
|---|---|---|---|
| 001 | 000004532 | ||
| 003 | CZ PrSTK | ||
| 005 | 20071212102922.0 | ||
| 008 | 001201s2000 gw ||| | eng | ||
| 020 | |a 3-540-41285-9 | ||
| 040 | |a ABA013 |b cze | ||
| 050 | 0 | |a QA76.63 |b .L63 2000 | |
| 080 | |a 519.681:510.6(063) |2 undef | ||
| 080 | |a 681.3(063) |2 undef | ||
| 080 | |a 519.85(063) |2 undef | ||
| 245 | 0 | 0 | |a Logic for programming and automated reasoning : |b 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000. Proceedings / |c Edited by Michel Parigot, Andrei Voronkov |
| 260 | |a Berlin : |b Springer, |c 2000 | ||
| 300 | |a xiii, 486 s. | ||
| 490 | 0 | |a Lecture notes in computer science ; |v 1955 | |
| 500 | |a Konference, Reunion Island, 2000 | ||
| 650 | 0 | 7 | |a logické programování |x te |7 psh11412 |2 psh |
| 650 | 0 | 7 | |a umělá inteligence |x vt |7 psh12516 |2 psh |
| 650 | 0 | 7 | |a teorie dat |x if |7 psh6590 |2 psh |
| 650 | 0 | 7 | |a zpracování |x ob |7 psh8102 |2 psh |
| 700 | 1 | |a Parigot, Michel |4 edt | |
| 700 | 1 | |a Voronkov, Andrei, |d 1959- |7 xx0034855 |4 edt | |
| 910 | |a ABA013 |b A 36275/2 | ||
| 964 | |a Programování logické | ||
| 964 | |a Inteligence umělá | ||
| 964 | |a Data - zpracování automatické | ||
| 996 | |a STK |b 2660197902 |c 3446/2000 |f 2070.60 |g A 36275/2 |v QA76 .63 .L63 2000 |l 6.NP, regál 6D/005 |t 03 | ||