1.

Record Nr.

UNISALENTO991001094149707536

Autore

Borger, Egon

Titolo

Logic and machines : decision problems and complexity / eds. E. Borger, G. Hasenjaeger, and D. Rodding

Pubbl/distr/stampa

Berlin ; New York : Springer-Verlag, 1984

ISBN

3540133313

Descrizione fisica

vi, 456 p. : ill. ; 25 cm.

Classificazione

AMS 03D05

AMS 62C

AMS 68-06

AMS 90A05

QA267

Altri autori (Persone)

Hasenjaeger, G.author

Rodding, D.

Disciplina

511

Soggetti

Computational complexity - Congresses

Decision making - Congresses

Machine theory - Congresses

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Includes bibliographies