|
" Computer science logic : "
Leszek Pacholski, Jerzy Tiuryn ( Eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
738367
|
| Doc. No
|
:
|
b558275
|
| Main Entry
|
:
|
Leszek Pacholski, Jerzy Tiuryn ( Eds.).
|
| Title & Author
|
:
|
Computer science logic : : 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers\ Leszek Pacholski, Jerzy Tiuryn ( Eds.).
|
| Publication Statement
|
:
|
Berlin [etc.]: Springer, ©1995.
|
| Series Statement
|
:
|
Lecture notes in computer science, 933.
|
| Page. NO
|
:
|
IX, 543 p. 24 cm.
|
| ISBN
|
:
|
3540600175
|
|
|
:
|
: 9783540600176
|
| Subject
|
:
|
Congressi - Kazimierz - 1994.
|
| Subject
|
:
|
Elaborazione elettronica dei dati - Congressi - 1994.
|
| Subject
|
:
|
Logica matematica e simbolica - Congressi - 1994.
|
| LC Classification
|
:
|
QA75.5L479 1995
|
| Added Entry
|
:
|
European association for computer science.
|
|
|
:
|
Jerzy Tiuryn
|
|
|
:
|
Leszek Pacholski
|
| |