Laddar...

Automated deduction CADE 12

Bibliografiska uppgifter
Huvudupphovsman: Alan Bundy
Materialtyp: Printed Book
Språk:English
Publicerad: Springer-Verlag 1994
Beskrivning
Fysisk beskrivning:848
ISBN:3-540-58156-1