The logical basis for computer programming. Volume 2., Deductive systems. /
Uložené v:
| Hlavní autori: | , |
|---|---|
| Médium: | Kniha |
| Jazyk: | English |
| Vydané: |
Reading-Menlo Park-New York :
Addison-Wesley Publishing Co.,
1990
|
| Vydanie: | 1. vyd. |
| Témy: | |
| ISBN: |
0201182610 (viaz.) |
| Fyzický popis: |
642 s. |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý kto otaguje tento záznam!
|
Titul je dostupný aj v ... 
| LEADER | 01400nam a2200409 a 4500 | ||
|---|---|---|---|
| 001 | 000065760 | ||
| 003 | SVKK | ||
| 005 | 20010430000000.0 | ||
| 008 | 000605s1990 xxu e engo | ||
| FMT | |||
| 020 | |a 0201182610 (viaz.) | ||
| 040 | |a SVKKK |b slo |c SVKKK |e AACR2 | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 080 | |a 519.7 |2 1997 | ||
| 080 | |a 519.68 |2 1997 | ||
| 080 | |a 519.85 |2 1997 | ||
| 100 | 1 | |a Manna, Zohar |4 aut | |
| 245 | 1 | 0 | |a The logical basis for computer programming. |n Volume 2., |p Deductive systems. / |c Zohar Manna, Richard Waldinger |
| 246 | 3 | 0 | |a Deductive systems. |
| 250 | |a 1. vyd. | ||
| 260 | |a Reading-Menlo Park-New York : |b Addison-Wesley Publishing Co., |c 1990 | ||
| 300 | |a 642 s. | ||
| 653 | 0 | |a programovanie matematické |2 SVKKKPH | |
| 653 | 0 | |a logika matematická |2 SVKKKPH | |
| 653 | 0 | |a základy |2 SVKKKPH | |
| 655 | 7 | |a monografie |2 SVKKKPH | |
| 700 | 1 | |a Waldinger, Richard |4 aut | |
| 910 | |a svkkk | ||
| 919 | |a 0-201-18261-0 | ||
| 974 | |a MI |d 20000605 | ||
| 974 | |a PA |d 20000605 | ||
| 974 | |a PA |d 20010430 | ||
| 998 | |a BK | ||
| Z30 | 1 | |l SCK01 |l SCK01 |m BOOK |1 SCKHL |2 SK14 |b Sklad Pribinova prízemie |3 IV.165145 |6 867006 |q 20060125 |5 2720095301 |8 20060125 |e 000 |f 70 |s Absenčne |h SCKND |t 00000000 |u 0000 |w 000065760 |x 000010 | |
| a02 | 0 | |a 0201182610 (viaz.) | |
| 090 | |g SCKHL |k Sklad Pribinova prízemie |a IV.165145 |j 867006 |i 2720095301 |s Absenčne | ||