1.

Record Nr.

UNISA996465772503316

Titolo

Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings / / A. Nerode, M. Taitslin (eds.)

Pubbl/distr/stampa

Springer Berlin Heidelberg

Altri autori (Persone)

NerodeAnil

TaitslinMikhail A

Disciplina

004

Soggetti

Computers - Congresses

Electronic data processing - Congresses

Logic, Symbolic and mathematical - Congresses

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia



2.

Record Nr.

UNINA9910763988703321

Titolo

Techniques in shoulder & elbow surgery

Pubbl/distr/stampa

Hagarstown, Md., : Lippincott Williams & Wilkins

ISSN

1539-591X

Disciplina

617

Soggetti

Shoulder - Surgery

Elbow - Surgery

Shoulder - surgery

Elbow - surgery

Orthopedic Procedures - methods

Periodical

Periodicals.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Periodico