|
|
|
|
| LEADER |
00961nam a2200217 a 4500 |
| 001 |
814086 |
| 005 |
20171111231223.0 |
| 008 |
051005s1987 gr r 000 0 eng d |
| 020 |
|
|
|a 0521346320
|
| 040 |
|
|
|a GRE
|b Πανεπιστήμιο Θεσσαλίας
|e AACR2
|
| 082 |
|
0 |
|2 22 εκδ.
|a 004.1
|
| 100 |
1 |
|
|a Paulson, Lawrence C.
|
| 245 |
1 |
0 |
|a Logic and Computation :
|b interactive proof with Cambridge LCF /
|c Lawrence C. Paulson
|
| 260 |
|
|
|a Cambridge:
|b Cambridge University Press,
|c 1987
|
| 300 |
|
|
|a 302 p. ;
|c 25 cm.
|
| 490 |
0 |
|
|a Cambridge Tracts in Theoretical Computer Science
|v 2
|
| 504 |
|
|
|a Περιέχει βιβλιογραφικές αναφορές (σ. 289-295) και ευρετήριο.
|
| 650 |
1 |
0 |
|a ΚΑΙΜΠΡΙΤΖ LCF (ΣΥΣΤΗΜΑ ΥΠΟΛΟΓΙΣΤΗ)
|
| 650 |
1 |
0 |
|a ΔΕΔΟΜΕΝΑ
|x ΣΥΣΤΗΜΑΤΑ ΜΕΤΑΔΟΣΗΣ
|
| 710 |
|
|
|a Cambridge University Press
|
| 952 |
|
|
|a GR-VoPKT
|b 59cc75f46c5ad13446fb8e92
|c 998a
|d 945l
|e 004.1 PAU
|t 1
|x m
|z Books
|
