Your search returned 35 results. Subscribe to this search

|
1.  Monographies, textes A computational logic [] / Robert S. Boyer and J Strother MoorePublication : New York : Academic Press, cop. 1979Description : 1 vol. (XIV-397 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3043] (1).
2.  Monographies, textes Algebraic specification [] / edited by J.A. Bergstra, J. Heering, P. KlintPublication : New York, N.Y. : ACM Press, Wokingham, England, Reading, Mass. : Addison-Wesley, c1989Description : xiii, 397 p. : ill. ; 25 cm.Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI6389] (2).
3. Congrès Amélioration des performances d'un système de compilation d'équations / par Alain MiniussiPublication : Bordeaux : Univ. Bordeaux 1, 1996Description : 154 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[1996 MIN] (1).
4. Congrès CAAP'83 : Trees in algebra and programming, 8th colloquium, L'Aquila, March 9-11, 1983 : Proceedings / ed. by G. Ausiello and M. ProtasiPublication : Berlin, New York, Tokyo : Springer, 1983Description : 1 vol. (VI-416 p.) : fig. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2057] (1).
5. Congrès COMPLEXITY ANALYSIS OF TERM REWRITING SYSTEMS. / {C. Choppy, M. Soria, S. Kaplan}Publication : ROCQUENCOURT : INRIA, 1988Description : 01 VOL.,17 P. : PR 2 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6173] (1).
6. Congrès Conference record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium : Portland, Oregon, January 17-21, 1994 / sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)Publication : New York, N.Y. : The Association, c1994Description : viii, 492 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1486] (2).
7. Congrès CONSTRUCTS FOR SETS,QUANTIFIERS,AND REWRITE RULES IN LISP. / {D. Plaisted}Publication : S.L. : [s.n.], 1984Description : 01 VOL.,18 P. : 13 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2977] (1).
8. Congrès DEDUCTION AND COMPUTATION. / {H. Huet}Publication : ROCQUENCOURT : INRIA, 1986Description : 01 VOL.,36 P. : 164 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3190] (1).
9.  Monographies, textes Démonstration automatique [] : techniques de réécriture / Michaël RusinowitchPublication : Paris : InterEditions, 1989, 95-Sarcelles : Impr. des sourcesDescription : 1 vol. (150 p.) : ill. ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6217] (1).
10. Congrès ESOP '90 / 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings ; A. Arnold, N. Jones (eds.)Publication : Berlin, New York : Springer-Verlag, c1990Description : ix, 435 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-144] (1).
11. Congrès ETUDE DES SYSTEMES DE REECRITURE CONDITIONNELS ET APPLICATIONS AUX TYPES ABSTRAITS ALGGEBRIQUES. / {J. Remy}Publication : S.L. : [s.n.], 1982Description : 01 VOL.,181 P. : PR 7 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2003] (1).
12. Thèses Étude et mise en oeuvre de la réécriture conditionnelle concurrente sur des machines parallèles à mémoire distribuée [Texte imprimé] / par Elyès Alouini ; [sous la dir. de Claude Kirchner]Publication : [Le Chesnay] : [INRIA], [1997]Description : IX-141 p. : ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2179] (1).
13. Thèses Formes canoniques dans les algèbres finiment présentées [Texte imprimé] / Philippe Le ChenadecPublication : [S.l.], [s.n.], 1983Description : 1 vol. (184 p.) ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2733] (2).
14. Congrès GUIDE (A) TO LP,THE LARCH PROVER. / {S. Garland, J. Guttag}Publication : S.L. : [s.n.], 1991Description : 01 VOL.,95 P. : 32 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI14104] (1).
15. Congrès Handbook of logic in computer science, Background computational structures, 2Publication : Oxford : CLARENDON PRESS, 1992Description : 571 P., X RF ; 24 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1012] (1).
16. Congrès HANDBOOK OF THEORETICAL COMPUTER SCIENCE. B, FORMAL MODELS AND SEMANTICS.Publication : AMSTERDAM : NORTH-HOLLAND, 1990Description : 01 VOL.,1287 P. : X RF ; 25 CMAvailability: No copies available Checked out (1).
17. Congrès Higher-order rewrite systems and their confluence / Richard Mayr and Tobias NipkowPublication : München : Technische Universität München, 1994Description : 28 p. : Ill. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[1994 BNI: 8930] (1).
18. Congrès Informatique théorique : séminaire d'informatique théorique, année 1984-1985 / @Séminaire d'Informatique ThéoriquePublication : Paris : LITP, 1985Description : 234 p. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3438] (1).
19.  Monographies, textes Logic for computer science [] : foundations of automatic theorem proving / Jean H. Gallier,...Publication : Cambridge, [etc.] : Harper & Row, Publishers, cop. 1986Description : 1 vol. (XV-511 p.) : fig. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3469] (1).
20.  Monographies, textes Logique, réduction, résolution [] / René Lalement,... ; préf. de Michel DemazurePublication : Paris, Milan, Barcelone [etc.] : Masson, 1990, 61-Alençon : Normandie impr.Description : 1 vol. (xii-370 p.) : ill., couv. ill. ; 24 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-C/N 2843] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI200-062] (1).
21. Congrès MUSCADET / {D. Pastre} : UN SYSTEME DE DEMONSTRATION AUTOMATIQUE DE THEOREMES UTILISANT CONNAISSANCES ET METACONNAISSANCES EN MATHEMATIQUES.Publication : S.L. : [s.n.], 1984Description : 01 VOL.,277 P. : PR 7 ; 21 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2768] (1).
22. Congrès OPTIMISATION DES PROGRAMMES DE REGLES A L'AIDE D'UN MODELE DERIVE DES RESEAUX DE PETRI. / {N. Harle-lefevre}Publication : ROCQUENCOURT : INRIA, 1991Description : 01 VOL.,207 P. : X RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-494] (1).
23. Congrès Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming [Texte imprimé] : (RULE'02) : Pittsburgh, Pennsylvania, USA, October 5, 2002 / sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)Publication : New York, N.Y. : Association for Computing Machinery, cop. 2002Description : IV-106 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[PIT 02] (1).
24. Congrès Proposition d'un modèle d'évaluation parallèle pour les langages fonctionnels sans variables / par Nadia BennaniPublication : Lille : Université des sciences et technologies de Lille, 1994Description : 261 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[1994 BEN] (1).
25. Congrès PUISSANCE DES SYSTEMES DE REECRITURE CLOS A GARDE RATIONNELLE. / {J. Coquide}Publication : S.L. : [s.n.], 1988Description : 01 VOL.,48 P. : 12 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6178] (1).

Powered by Koha