| LDR | 00591namu 2200217 k 4500 | |
|---|---|---|
| 001 | 000000102130 | |
| 005 | 20010101000000 | |
| 008 | 000616s1994 uk 001a eng | |
| 020 | ▼a 0262560755 | |
| 040 | ▼a 247004 | |
| 049 | ▼l M0181652 | |
| 056 | ▼a 004.73 | |
| 090 | ▼a 004.73 ▼b F889c | |
| 100 | ▼a Freuder,Eugene C. | |
| 245 | 01 | ▼a Constraint-Based Reasoning / ▼d Eugene C.Freuder, Alan K.Mackworth |
| 260 | ▼a Cambridge : ▼b MIT, ▼c 1994 | |
| 300 | ▼a 403 p. ; ▼c 26 cm | |
| 504 | ▼a Include bibliographical references and index | |
| 653 | ▼a constraints | |
| 700 | ▼a Mackworth,Alan K. | |
| 950 | ▼b \41000 |