Mathematical foundations of programming :: SCD d'Orléans

Mathematical foundations of programming

Mathematical foundations of programming

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Beckman, Frank S., 1921-2009
Format:	Livre papier
Jezik:	Anglais
Izdano:	Reading, MA ; Menlo Park, Cal. ; London [etc.] : Addison-Wesley C 1980.
Serija:	The Systems programming series
Teme:	Logique symbolique et mathématique Automates mathématiques, Théorie des Langages formels Fonctions récursives Ordinateurs > Programmation
Sporočilo:	Réimpr. : 1981
Autres localisations:	Voir dans le Sudoc
Variante du titre:	Mathematical foundations of computing

Podobne knjige/članki

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

Introduction à la calculabilité
od: Wolper, Pierre, 1955-
Izdano: (1991)

Automata, languages and programming : 21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings

Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985

Automata, languages, and programming : 13th International colloquium, Rennes, France, July 15-19, 1986 : proceedings

Mathematical foundations of programming language semantics : 3rd workshop, Tulane university, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings

Mathematical foundations of computer science 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977

Automata, languages and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings

Automata, languages and programming : 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings

Automata, languages and programming : 10th Colloquium, Barcelona, Spain, July 18-22, 1983

Foundations of inductive logic programming
od: Nienhuys-Cheng, Shan-Hwei, 1943-, et autres

Mathematical foundations of computer science : 3rd Symposium at Jadwisin near Warsaw, June 17-22, 1974
Izdano: (2005)

Mathematical Foundations of Computer Science 1976 : proceedings, 5th Symposium, Gdańsk, September 6 10, 1976
Izdano: (2005)

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

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

Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings

Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980

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

Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981

Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers

GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen : Bonn, 9. 12. Juli 1973
Izdano: (2006)

Mathematical foundations of programming semantics : 7th International conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings
od: Brookes, Stephen

Recursive function theory and logic
od: Yasuhara, Ann Harris, 1932-2014
Izdano: (1971)

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

Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978

Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings
od: Brookes, Stephen

Combinatorics on traces
od: Diekert, Volker

Foundations of equational logic programming
od: Hölldobler, Steffen, 1957-

Automata, languages, and programming : 14th international colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings

Degrees of unsolvability
od: Shoenfield, Joseph Robert, 1927-2000
Izdano: (1971)

Logic programming and automated reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16 22, 1994 : proceedings
od: Pfenning, Frank

Grammatical inference : algorithms and applications : 7th international colloquium, ICGI 2004, Athens, Greece, october 11-13, 2004 : proceedings

Reasoning with logic programming
od: Alferes, José Júlio, 1966-, et autres

Automata, Languages and Programming : 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8 13, 2002 Proceedings

Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
Izdano: (1965)

Context-free grammars : covers, normal forms, and parsing
od: Nijholt, Anton

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

Automata, languages and programming : ; proceedings 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000

Complexité et décidabilité
od: Dehornoy, Patrick, 1952-2019, mathématicien
Izdano: (1993)

Automata, languages and programming : ; proceedings 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999

© 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