Logics of programs : :: SCD d'Orléans

Logics of programs : Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6 8, 1983

Logics of programs : Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6 8, 1983

Guardat en:

Dades bibliogràfiques
Autor corporatiu:	Workshop on logics of programs :Pittsburgh
Altres autors:	Clarke, Edmund M., 1945-2020 (Director editorial), Kozen, Dexter C., 1951- (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 164
Matèries:	Informatique Ordinateurs Logique symbolique et mathématique Actes de congrès
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logics of programs, Workshop, Carnegie-Mellon University, Pittsburgh, PA, June 6-8, 1983, ed. by Edmund Clarke and Dexter Kozen, Berlin, Springer, 1984, 1 vol. (VI-528 p.), Lecture notes in computer science, 3-540-12896-4 • Logics of Programs, Texte imprimé, 9783662172384

Ítems similars

Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR 98 Manchester, UK, June 15 19, 1998 : selected papers

Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28 30, 1996 : proceedings

Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers

Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20 22, 1995 : proceedings

Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 : proceedings

Logics of programs : Brooklyn, June 17 19, 1985 : proceedings

Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR 99, Venice, Italy, September 22-24, 1999 : selected papers

Logic based program synthesis and transformation : 10th International workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28 30, 2001 : Selected papers

Logic of programs : workshop, ETH Zürich, May-July 1979
per: Engeler, Erwin, 1930-

Logic based program synthesis and transformation : ; revised selected papers 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003
per: Bruynooghe, Maurice

Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings

Field-programmable logic and applications : 7th International Workshop, FPL '97 London, UK, September 1 3, 1997 : proceedings

Foundations of logic and functional programming : Workshop, Trento, Italy, December 15 19, 1986 : proceedings

Mathematics of program construction : 375th anniversary of the Groningen university, international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings

Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings
per: Dyckhoff, Roy, 1948-

Logic program synthesis and transformation - Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 21, 1994 : proceedings

Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings

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

Computational logic - CL 2000 : First International Conference, London, UK, July 24 28, 2000 : proceedings

Extensions of Logic Programming : 4th International Workshop, ELP '93 St Andrews, U.K., March 29 April 1, 1993 Proceedings

Program development in computational logic : a decade of research advances in logic-based program development
per: Bruynooghe, Maurice

Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings

Logics in artificial intelligence : 8th European Conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : Proceedings

Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26 28, 1995 : proceedings
per: Marek, Victor W., 1943-

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11 14, 1994 : proceedings
per: Gabbay, Dov M., 1945-

Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings

Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings
per: Alferes, José Júlio, 1966-

Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings

Logic programming : 20th international conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings

Logic programming '89 : proceedings of the 8th conference Tokyo, Japan, July 12 14, 1989
per: Furukawa, Kōichi, 1938-

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

Logic programming and knowledge representation : Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers

Mathematics of program construction : second international conference, Oxford, U.K., June 29 July 3, 1992 : proceedings

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
per: Fisher, Michael

Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings

Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5 6, 1996 : selected papers
per: Dix, Jürgen, 1961-

Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : 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