A computational logic handbook

Bibliografiska uppgifter
Huvudupphovsman: Robert S Boyer,J Strother Moore
Materialtyp: Printed Book
Språk:English
Publicerad: Academic Press 1988
Beskrivning
Fysisk beskrivning:408
ISBN:0-12-122952-1

Liknande verk