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