1.

Record Nr.

UNISA990000144110203316

Titolo

Computational logic : symposium, proceedings Brussels, November 13-14, 1990 / J.W. Lloyd, ed

Pubbl/distr/stampa

Berlin [etc.] : Springer, copyr. 1990

ISBN

3-540-53437-7

Disciplina

511.3

Collocazione

511.3 COM

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia