![Computer programming / Functional languages / Propositional calculus / Procedural programming languages / FO / Finite model theory / Negation / B-tree / ML / Computing / Boolean algebra / Software engineering Computer programming / Functional languages / Propositional calculus / Procedural programming languages / FO / Finite model theory / Negation / B-tree / ML / Computing / Boolean algebra / Software engineering](https://www.pdfsearch.io/img/b2ef9e58040dcfb63bb625206cd85fb1.jpg)
| Document Date: 2010-05-13 07:45:52 Open Document File Size: 359,42 KBShare Result on Facebook
Facility UNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS FUNCTIONAL PROGRAMMING AND SPECIFICATION / / Organization UNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS FUNCTIONAL PROGRAMMING AND SPECIFICATION / / Person Here / / Technology FUNCTIONAL PROGRAMMING / /
SocialTag |