Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30-July 2, 2003 : selected papers

Krzysztof R. Apt ... [et al.] (eds.)
Bok · Engelsk · 2004 Joint ERCIM/CoLogNET International Workshop on ConstraintSolving and Constraint Logic Programming

Utgitt	Berlin : Springer , c2004
Omfang	VIII, 284 s. : ill.
Emner	Automatisk bevisføring : (NO-TrBIB)REAL009781 Beskranket programmering Bevisføring Kunnskapsrepresentasjon Vis mer... Logikkprogrammering Beskranket programmering((NO-TrBIB)REAL002777) Kunnskapsrepresentasjon((NO-TrBIB)REAL001786)
ISBN	3540218343