|
|
|
|
| LEADER |
01197pam a2200277 a 4500 |
| 001 |
AALebookCAM001499 |
| 003 |
BD-DhAAL |
| 006 |
m||||||||d|||||||| |
| 007 |
cr|||||||||||| |
| 008 |
221123s9999 xxuabf fo j 001 0 eng d |
| 020 |
|
|
|a 9780521879408
|
| 040 |
|
|
|a BD-DhAAL
|c BD-DhAAL
|
| 100 |
1 |
|
|a Dale Miller, Gopalan Nadathur
|
| 245 |
0 |
0 |
|h [electronic resource]
|a Programming with Higher-Order Logic
|
| 250 |
|
|
|a 1
|
| 260 |
|
|
|b Cambridge University Press,
|c 08/05/2012
|
| 300 |
|
|
|a 1 online resource
|
| 500 |
|
|
|a <strong>Off-Campus Access:</strong> Athens ID and Password Required
|
| 500 |
|
|
|a <strong>On-Campus Access:</strong> No User ID or Password Required
|
| 506 |
|
|
|a Electronic access restricted to authorized BRAC University faculty, staff and students
|
| 538 |
|
|
|a Mode of access: Internet
|
| 650 |
|
4 |
|a Logic, categories and Sets
|
| 650 |
|
4 |
|a Programming Languages and Applied Logic
|
| 655 |
|
7 |
|a Electronic books
|2 Library of Congress
|
| 856 |
4 |
0 |
|z Full text available on Cambridge University Press
|u http://dx.doi.org/10.1017/CBO9781139021326
|
| 856 |
4 |
0 |
|z Off-campus access
|u https://go.openathens.net/redirector/bracu.ac.bd?url=http%3A%2F%2Fdx.doi.org%2F10.1017%2FCBO9781139021326
|