High-level specification and efficient solving of constraint satisfaction problems /

Sparad:
Bibliografiska uppgifter
OCLC:36582231
Huvudupphovsman: Hjerpe, Torkel
Institutionell upphovsman: Uppsala universitet
Språk:English
Publicerad: Uppsala : Computing Science Dept., Uppsala University, 1995.
Serie:Uppsala theses in computing science, 22.
Ämnen:
Materialtyp:

Lärdomsprov Monograph

Note that CRL will digitize material from the collection when copyright allows.