Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers
Uloženo v:
| Další autoři: | |
|---|---|
| Konference: | |
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Berlin :
Springer,
2007
|
| Edice: | Lecture notes in computer science,
4502 |
| Žánr/forma: | sborníky konferencí |
| ISSN: | 0302-9743 ; |
| ISBN: | 978-3-540-74463-4 3-540-74463-0 978-3-540-74464-1 |
| Témata: | |
| On-line přístup: | Plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
| LEADER | 01554nam a2200373 a 4500 | ||
|---|---|---|---|
| 001 | 000648620 | ||
| 003 | CZ PrSTK | ||
| 005 | 20230711090120.0 | ||
| 008 | 070828s2007 gw a f 101 0 eng d | ||
| 020 | |a 978-3-540-74463-4 |q (brožováno) |z 3-540-74463-0 | ||
| 020 | |z 978-3-540-74464-1 |q (elektronická kniha) | ||
| 040 | |a DLC |c DLC |d ABA013 | ||
| 050 | 4 | |a QA76.9.A96 |b T97 2006 | |
| 072 | 7 | |a 004.4/.6 |x Programování. Software |2 Konspekt |9 23 | |
| 080 | |a 004.42(063) | ||
| 080 | |a 510.6(063) | ||
| 080 | |a 004.4(063) | ||
| 111 | 2 | |a TYPES 2006 |c (Nottingham, Anglie) |7 stk2008407142 | |
| 245 | 1 | 0 | |a Types for proofs and programs : |b international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers / |c Thorsten Altenkirch, Conor McBride (eds.) |
| 246 | 3 | 0 | |a TYPES 2006 |
| 260 | |a Berlin : |b Springer, |c c2007 | ||
| 300 | |a viii, 268 s. : |b il. | ||
| 440 | 0 | |a Lecture notes in computer science, |x 0302-9743 ; |v 4502 | |
| 504 | |a Obsahuje bibliografii a rejstřík | ||
| 655 | 7 | |a sborníky konferencí |7 fd133333 |2 czenas | |
| 650 | 0 | 7 | |a programování |x vt |7 psh12467 |2 psh |
| 650 | 0 | 7 | |a matematická logika |x ma |7 psh7096 |2 psh |
| 650 | 0 | 7 | |a software |x vt |7 psh12463 |2 psh |
| 700 | 1 | |a Altenkirch, Thorsten, |d 1962- |7 stk2008428663 |4 edt | |
| 700 | 1 | |a McBride, Conor |7 stk2008428664 |4 edt | |
| 856 | 4 | 1 | |u https://doi.org/10.1007/978-3-540-74464-1 |y Plný text |
| 910 | |a ABA013 |b A 43861 | ||
| 950 | |a Springer |b Computer Science | ||
| 996 | |a STK |b 2660458556 |c 3365/2007 |d 20071217 |f 1323.00 |g A 43861 |v QA76 .9 .A96 T97 2006 |l 6.NP, regál 6D/079 |t 03 | ||