Programming with Higher-Order Logic
- Título:
- Programming with Higher-Order Logic
- Materia:
- Computer Science; Mathematics; Regional and World History: General Interest; Twentieth Century American History
- Editor:
- Cambridge University Press
- Descripción:
- Coursebooks
- Identificadores:
- E-ISBN: 9781139021326; 9780521879408 ISBN:
- Colección:
- Cambridge University Press