A computational logic handbook

Dettagli Bibliografici
Autore principale: Robert S Boyer,J Strother Moore
Natura: Printed Book
Lingua:English
Pubblicazione: Academic Press 1988
Descrizione
Descrizione fisica:408
ISBN:0-12-122952-1

Documenti analoghi