Logic and computational complexity : international workshop LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected papers
Uloženo v:
| Další autoři: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Berlin :
Springer-Verlag,
1995
|
| Edice: | Lecture notes in computer science ;
960 |
| Žánr/forma: | sborníky konferencí |
| ISBN: | 3-540-60178-3 |
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
| LEADER | 01203nam a2200313 a 4500 | ||
|---|---|---|---|
| 001 | 000013465 | ||
| 003 | CZ PrSTK | ||
| 005 | 20211116112854.0 | ||
| 008 | 950914s1995 gw ||| | eng | ||
| 020 | |a 3-540-60178-3 | ||
| 040 | |a ABA013 |b cze | ||
| 050 | 0 | |a QA9.A1 |b L64 1994 | |
| 072 | 7 | |a 510 |x Obecné úvahy o matematice |2 Konspekt |9 13 | |
| 080 | |a 510.6 |2 MRF | ||
| 080 | |a 510.52 |2 MRF | ||
| 080 | |a 004 |2 MRF | ||
| 080 | |a (062.534) |2 MRF | ||
| 245 | 0 | 0 | |a Logic and computational complexity : |b international workshop LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected papers / |c Edited by Daniel Leivant |
| 260 | |a Berlin : |b Springer-Verlag, |c 1995 | ||
| 300 | |a VIII, 514 s. | ||
| 490 | 0 | |a Lecture notes in computer science ; |v 960 | |
| 500 | |a Konference, Indianapolis, 1994 | ||
| 650 | 0 | 7 | |a matematická logika |x ma |7 psh7096 |2 psh |
| 650 | 0 | 7 | |a teorie složitosti |x if |7 psh6608 |2 psh |
| 650 | 0 | 7 | |a počítačová věda |7 ph124511 |2 czenas |
| 655 | 7 | |a sborníky konferencí |7 fd133333 |2 czenas | |
| 700 | 1 | |a Leivant, Daniel Maurice Raphaël |7 stk2007405723 |4 edt | |
| 910 | |a ABA013 |b A 31830 | ||
| 996 | |a STK |b 2660105288 |c 4636/95 |d 19950914 |f 2070.00 |g A 31830 |v QA9 .A1 L64 1994 |l 6.NP, regál 6C/197 |t 03 | ||