Your search returned 25 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 A programming approach to computability [] / A.J. Kfoury, Robert N. Moll, Michael A. ArbibPublication :New York, Berlin, Heidelberg : Springer-Verlag, cop.1982Description : 1 vol. (viii-251 p.) : fig., couv. ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3363] (1).
3.  Monographies, textes An introduction to formal language theory [] / Robert N. Moll, Michael A. Arbib, A.J. Kfoury ; with contributions by James PustejovskyPublication :New York : Springer-Verlag, cop. 1988Description : 1 vol. (x, 203 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6292] (1).
4.  Monographies, textes Calculabilité effective et algorithmique théorique [] / Patrick Vollat,...Publication :Paris : Eyrolles, 1989, 45-Saint-Jean-de-Bray : Impr. nouvelleDescription : 1 vol. (186 p.) ; 24 cm.Availability: Copies available for loan: Bib. Paris[EMP 108.818] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI6440] (1), Sophia Antipolis[EMS 110-C03/N 2677] (1).
5. Congrès COMPUTABILITY. / {K. Weihrauch}Publication :Springer, Berlin, Heidelberg, 1987Description : 01 VOL.,527 P. : PR 6 ; 25 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI4999] (1).
6.  Monographies, textes Computability [] : an introduction to recursive function theory / Nigel Cutland,...Publication :Cambridge (GB), New York, Melbourne : Cambridge University Press, 1980Description : 1 vol. (X-251 p.) : fig. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6463] (1).
7.  Monographies, textes Computability and logic [] / George S. Boolos,... Richard C. Jeffrey,...Publication :Cambridge, New York (N.Y.) : Cambridge university press, 1989Description : 1 vol. (X-304 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-043] (1).
8.  Monographies, textes Computability, complexity, and languages [] : fundamentals of theoretical computer science / Martin D. Davis, Ron Sigal, Elaine J. WeyukerPublication :Boston : Academic Press, Harcourt, Brace, 1994Description : 1 vol. (XIX-609 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[DAV] (1).
9.  Monographies, textes Computation [] : finite and infinite machines / [by] Marvin L. Minsky, ...Publication :Englewood Cliffs, N.J. : Prentice-Hall, cop. 1967Description : 1 vol. (xvii-317 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MIN] (1).
10. Articles DERIVING VERY EFFICIENT ALGORITHMS FOR EVALUATING LINEAR RECURRENCE RELATIONS USING THE PROGRAM TRANSFORMATION TECHNIQUE. [[Texte imprimé]] / {A. Pettorossi}Publication :Berlin, Heidelberg : Springer, 1982Description : P. 181 A 206 : RF 35 ; 24 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5889] (1).
11. Congrès ENUMERABILITY.DECIDABILITY COMPUTABILITY AN INTRODUCTION TO THE THEORY OF RECURSIVE FUNCTIONS. / {H. Hermes}Publication :Berlin, Heidelberg : Springer, 1965Description : 01 VOL.,255 P. : RF X ; 24 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CC0016] (1).
12.  Monographies, textes Fonctions récursives [] / par Andrzej Grzegorczyk,...Translation of : Zagadnienia rozstrygalnościPublication :Paris : Gauthier-Villars, Louvain : E. Nauwelaerts, 1961Description : 1 vol. (100 p.) ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CC0598] (1).
13. Congrès Functional programming and its applications [Texte imprimé] : an advanced course / edited by J. Darlington, P. Henderson, D.A. TurnerPublication :Cambridge, New York : Cambridge University Press, cop. 1982Description : 1 vol. (306 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1584] (1).
14. Congrès INTRODUCTION TO METAMATHEMATICS. / {S. Kleene}Publication :AMSTERDAM : NORTH-HOLLAND, 1967Description : 01 VOL.,560 P. : PR 20 ; 23 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CC0195] (1).
15.  Monographies, textes Lambda-calcul [] : types et modèles / Jean-Louis Krivine,...Publication :Paris, Milan, Barcelone [etc.] : Masson, cop.1990, 53-Mayenne : Impr. FlochDescription : 1 vol. (VIII-176 p.) : couv. ill. en coul. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-061] (1), Sophia Antipolis[EMS 110-C/N 2821] (1).
16. Congrès MATHEMATICAL FOUNDATIONS OF PROGRAMMING. / {F. Beckman}Publication :READING : Addison-Wesley, 1980Description : 01 VOL.,458 P. : RF X ; 25 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1704] (1).
17.  Monographies, textes Mathematical theory of computation [] / Zohar MannaPublication :New York : McGraw-Hill, 1974Description : 1 vol. (X-448 p.) ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[MAN] (1).
18. Congrès Optimal Parallel Algorithms for Computing Recursively Defined Functions / {R. Niedermeier}Publication :S.L. : [s.n.], 1992Description : 28 P., 13 RF ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1067] (1).
19.  Monographies, textes Programmation [] : application de l'algèbre des programmes : [CNAM cours B] / par F. H. Raymond,...Publication :Paris, New York [etc.] : Masson, 1982Description : 1 vol. (182 p.) ; 22 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1567] (1).
20.  Monographies, textes La programmation applicative [ [Texte imprimé]] : de LIPS [i.e. LISP] à la machine en passant par le lambda-calcul / Emmanuel Saint-James ; avec une préface de: Jacques ArsacPublication :Paris : Hermès, Imp. 1993Description : 1 vol. (411 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[SAI] (1).
21.  Monographies, textes Recursive function theory and logic [] / Ann Yasuhara,...Publication :New York, London : Academic Press, cop. 1971Description : 1 vol. (XV-338 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI0942] (1).
22. Congrès RECURSIVELY ENUMERABLE SETS AND DEGREES A STUDY OF COMPUTABLE FUNCTIONS AND COMPUTABLY GENERATED SETS. / {R. Soare}Publication :Berlin, Heidelberg : Springer, 1987Description : 01 VOL.,455 P. : PR 30 ; 25 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6456] (1).
23. Congrès Semantics of Programming languages : Structures and techniquesPublication :Cambridge : MIT, 1992Description : 419 P., 274 RF ; 22 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1388] (1).
24. Congrès SENTENCES UNDECIDABLE IN FORMALIZED ARITHMETIC. AN EXPOSITION OF THE THEORY OF KURT GOEDEL. / {A. Mostowski}Publication :AMSTERDAM : NORTH-HOLLAND, 1964Description : 01 VOL.,125 P. : RF 25 ; 22 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CC0216] (1).
25.  Monographies, textes Theory of recursive functions and effective computability [] / Hartley Rogers, Jr.Publication :Cambridge (Mass.), London : MIT Press, cop. 1987Description : 1 vol. (xxi-482 p.) ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6584] (1).

Powered by Koha

//]]>