informatique # logique de programmation par contraintes # problème de satisfaction de contraintes # algorithme pour des équations diophantiennes # calcul symbolique # intelligence artificielle

Publisher City : Berlin ; Heidelberg

Publisher country : Allemagne

Language : English

EAN13 : 9783540602996

ISBN : 3-540-60299-2

Collation : fig.#tables#24 cm#broch. ; Index

Series : Lecture notes in computer science

Nb in series : 0976

Location : Collection 1er étage

Event Number : 1

Event Year : 1995

City of congres : Cassis

Country of congres : France

Conference type : Congrès

Availability : empruntable

Level of authorization : Public

Copies