Induction, recursion, and programming :: SCD d'Orléans

Induction, recursion, and programming

Induction, recursion, and programming

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Wand, Mitchell
Định dạng:	Livre papier
Ngôn ngữ:	Anglais
Được phát hành:	New York ; Oxford : North Holland C 1980.
Những chủ đề:	Ordinateurs > Programmation Récursivité, théorie de la Induction (mathématiques) Programmeurs Langages de programmation
Autres localisations:	Voir dans le Sudoc

Những quyển sách tương tự

Recursive methods in economic dynamics
Bằng: Stokey, Nancy L., et al.
Được phát hành: (1989)

Foundations of inductive logic programming
Bằng: Nienhuys-Cheng, Shan-Hwei, 1943-, et al.

Recursive analysis
Bằng: Goodstein, Reuben Louis, 1912-1985
Được phát hành: (1961)

Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings

Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings

Inductive logic programming : 11th International Conference, ILP 2001, Strasbourg, France, September 9 11, 2001 : proceedings

Inductive logic programming : 12th international conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers

Recursion-theoretic hierarchies
Bằng: Hinman, Peter G.
Được phát hành: (1978)

Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24 27, 1999 : proceedings

Inductive logic programming : 10th International Conference, ILP 2000 London, UK, July 24 27, 2000 : proceedings

Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers
Bằng: Muggleton, Stephen H.

Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings
Bằng: Page, David, 1944-

Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic September 17-20, 1997 : proceedings
Bằng: Lavrač, Nada, 1953-

Recursion on the countable functionals
Bằng: Normann, Dag, 1947-

General recursion theory : an axiomatic approach
Bằng: Fenstad, Jens Erik, 1935-2020
Được phát hành: (1980)

Techniques of Admissible Recursion Theory
Bằng: Chong, Chi-Tat, 1949-...., mathématicien

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19 25, 1989

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany April 15 21, 1984

Generalized recursion theory : proceedings of the 1972 Oslo symposium
Được phát hành: (1974)

The recursion method : application to many-body dynamics
Bằng: Viswanath, V.S, et al.

Generalized recursion theory II : proceedings of the 1977 Oslo symposium
Được phát hành: (1978)

Recursion theory and computational complexity : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979
Bằng: Lolli, Gabriele, 1942-
Được phát hành: (2011)

Theory of recursive functions and effective computability
Bằng: Rogers, Hartley, 1926-2015
Được phát hành: (1967)

Mathematical foundations of programming
Bằng: Beckman, Frank S., 1921-2009
Được phát hành: (1980)

Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
Được phát hành: (1967)

Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings

First-order dynamic logic
Bằng: Harel, David, 1950-

Programming languages, information structures and machine organization
Bằng: Wegner, Peter, 19..-
Được phát hành: (1971)

Automata, languages and programming : 15th International colloquium, Tempere, Finland, July 11-15, 1988 : proceedings

Automata, languages, and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980

Programming Kotlin : creating elegant, expresive, and performant JVM and Android applications
Bằng: Subramaniam, Venkat
Được phát hành: (2019)

Reasoning with logic programming
Bằng: Alferes, José Júlio, 1966-, et al.

Programming language implementation and logic programming : 6th International Symposium, PLILP '94 Madrid, Spain, September 14 16, 1994 : proceedings

A discipline of programming
Bằng: Dijkstra, Edsger Wybe, 1930-2002
Được phát hành: (1976)

Proprement codeur : code de conduite pour développeurs professionnels
Bằng: Martin, Robert C., 1952-...., informaticien
Được phát hành: (2022)

Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings

Programming language implementation and logic programming : [second] International Workshop PLILP '90, Linköping, Sweden, August 20 22, 1990 : proceedings

Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings

Programming language implementation and logic programming : 4th International Symposium, PLILP'92, Leuven, Belgium, August 26 28, 1992 : proceedings

Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26 28, 1991 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales