Computer Programming and Formal Systems

Bibliografiska uppgifter
Huvudupphovsman: Braffort P. and Hirschberg D.
Materialtyp: Printed Book
Språk:English
Publicerad: London: North-Holland Publishing Company, 1970.
Upplaga:1970.
Ämnen:
Statistics, A Basic for a Mathematical Theory of Computation, A Simplified Proof Method for Elementary Logic.
Beskrivning
Fysisk beskrivning:161p.

Liknande verk