Logics of programs and their applications : :: SCD d'Orléans

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	Symposium on logics of programs and their applications :Poznán
Άλλοι συγγραφείς:	Salwicki, Andrzej (Διευθυντής έκδοσης)
Μορφή:	Livre numérique
Γλώσσα:	Anglais
Έκδοση:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Σειρά:	Lecture notes in computer science 148
Θέματα:	Informatique Actes de congrès
Διαθέσιμο Online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Σημείωση:	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 and their applications, proceedings, Poznan, August 23-29, 1980, edited by A. Salwicki, Berlin, Springer-Verlag, 1983, 1 vol. (VI-324 p.), Lecture notes in computer science, 0-387-11981-7 • Logics of Programs and Their Applications, Texte imprimé, 9783662191408

Παρόμοια τεκμήρια

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

Logics of programs : Workshop, Yorktown Heights, New York, May 1981

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

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

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

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

Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981

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

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

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

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-based program synthesis and transformation : 8th International Workshop, LOPSTR 98 Manchester, UK, June 15 19, 1998 : selected papers

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

Computer science logic : 11th international workshop, CSL '97 : [6th] annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : procedings

Program construction : international summer school
ανά: Bauer, Friedrich Ludwig, 1924-2015, κ.ά.

Field-programmable logic and applications : 5th International Workshop, FPL '95 Oxford, United Kingdom, August 29 September 1, 1995 : proceedings

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

Field programmable logic and applications : the roadmap to reconfigurable computing : 10th international conference, FPL 2000, Villach, Austria, August 27-30, 2000 : proceedings

Computer science logic : 12th international workshop, CSL '98 : [7th] annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings

Programs as Data Objects : proceedings of a workshop, Copenhagen, Denmark, October 17 19, 1985

Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings

Computer science logic : 14th International Workshop, CSL 2000 : [9th] Annual Conference of the EACSL, Fischbachau, Germany, August 21 26, 2000 : proceedings

Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986

Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

Logic programming : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 August 1, 2002 : proceedings

Semantics, applications, and implementation of program generation : [first] International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings

Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings
ανά: Eriksson, Lars-Henrik, 19..-

Field-programmable logic and applications : 11th International Conference, FPL 2001 Belfast, Northern Ireland, UK, August 27-29, 2001 : proceedings

Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings

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

Field-programmable logic and applications : 9th International Workshop, FPL 99, Glasgow, UK, August 30 - September 1, 1999 : proceedings

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

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

Computer science logic : 17th international workshop CSL 2003 : 12th annual conference of the EACSL : 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

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

Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20 23, 2002 Proceedings

Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989 : proceedings
ανά: Schroeder-Heister, Peter Joseph, 1953-

© 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