<--- Back to Details
First PageDocument Content
Constraint programming / Programming paradigms / Logic programming / Constraint logic programming / Declarative programming / Constraint satisfaction problem / Programming language / Claire / SQL / Software engineering / Computing / Computer programming
Date: 2006-03-28 09:09:36
Constraint programming
Programming paradigms
Logic programming
Constraint logic programming
Declarative programming
Constraint satisfaction problem
Programming language
Claire
SQL
Software engineering
Computing
Computer programming

Add to Reading List

Source URL: www.informatik.uni-ulm.de

Download Document from Source Website

File Size: 291,21 KB

Share Document on Facebook

Similar Documents

– KIT MÉDIA 2018 – Une publication du groupe L’Agefi est le seul quotidien économique et financier en Suisse. Il propose une voix claire et professionnelle

DocID: 1xVV6 - View Document

Pr´eparation aux ´epreuves ´ecrites du CAPES Conseils de r´edaction Claire Debord Le texte qui suit est une libre compilation de plusieurs textes sur le mˆeme th`eme, notamment ceux de Christophe Champetier et de Ch

DocID: 1xVwg - View Document

Approche géométrique de la théorie de l’indice via les groupoïdes. Claire Debord Université Blaise Pascal Laboratoire de Mathématiques, UMR 6620 CNRS-UBP

DocID: 1xVrq - View Document

Algebra / Mathematics / Abstract algebra / Homotopy theory / Category theory / Algebraic structures / Differential geometry / Algebraic topology / Groupoid / Lie algebroid / Group action / Equivalence relation

INDEX THEORY AND GROUPOIDS CLAIRE DEBORD AND JEAN-MARIE LESCURE Abstract. These lecture notes are mainly devoted to a proof using groupoids and KK-theory of Atiyah and Singer’s index theorem on compact smooth manifolds

DocID: 1xVj5 - View Document

Résumé des travaux Claire Debord Liste des publications présentées [1] Claire Debord, Local integration of Lie algebroids. Lie algebroids and related topics in differential geometry (Warsaw, 2000), Banach Center Publ

DocID: 1xUVP - View Document