Practical Aspects of Declarative Languages: 9th...

Main
Computers - Programming
Practical Aspects of Declarative...

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

John Hughes (auth.), Michael Hanus (eds.)

0 / 5.0

Quanto Você gostou deste livro?

Qual é a qualidade do ficheiro descarregado?

Descarregue o livro para avaliar a sua qualidade

De que qualidade são os ficheiros descarregados?

Categorias:

Computers - Programming

Ano:

2007

Edição:

1

Editora:

Springer-Verlag Berlin Heidelberg

Idioma:

english

Páginas:

342

ISBN 10:

3540696113

ISBN 13:

9783540696117

Série:

Lecture Notes in Computer Science 4354 : Programming and Software Engineering

Arquivo:

PDF, 3.18 MB

IPFS:

,

english, 2007

Ler online

A converter para

Conversão para falhou

Você pode estar interessado em

William E. Byrd — Relational Programming in miniKanren: Techniques, Applications, and Implementations

Uwe Kastens (auth.), Maurice Bruynooghe, Jaan Penjam (eds.) — Progamming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25–27, 1993 Proceedings

Vijay A. Saraswat, Kazunori Ueda (ed.) — Logic programming: proceedings of the 1991 international symposium

Maurice Bruynooghe (ed.) — Logic programming: Proceedings of the 1994 Internationa Symposium

Dale Miller (ed.) — Logic Programming: Proceedings of the 1993 International Symposium October 26-29, 1993, Vancouver, British Columbia

Jean-Louis Lassez (ed.) — Logic programming: proceedings 4th international conference, vol.1

Pascal Van Hentenryck (eds.) — Logic programming : proceedings of the eleventh International Conference on Logic Programming

Danny De Schreye — Logic programming : proceedings of the 1999 International Conference on Logic Programming

Lee Naish — Logic programming : proceedings of the Fourteenth International Conference on Logic Programming

Krzysztof Apt (ed.) — Logic Programming: The Joint [9th] International Conference & Symposium

Saumya Debray, Manuel Hermenegildo (ed.) — Logic programming: proceedings of the 1990 North American conference

Danny De Schreye — Logic Programming: The 1999 International Conference

Koichi Furukawa (ed.) — Logic programming: proceedings of the 8 international conference

Ewing L. Lusk, Ross A. Overbeek, (eds.) — Logic programming: proc. North American conference 1989, vol.1

Giorgio Levi, Maurizio Martelli (ed.) — Logic programming: proceedings of the 6 international conference

Michael Maher — Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming

Lee Naish, (ed.) — Logic Programming: The 14th International Conference

Leon S. Sterling — Logic Programming: The 12th International Conference

David S. Warren — Logic Programming: Proceedings of the Tenth International Conference on Logic Programming June 21-24, 1993, Budapest, Hungary

Ioannis Vlahavas, Panagiotis Tsarchopoulos, Ilias Sakellariou (auth.) — Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints

Michael Kifer, Yanhong Annie Liu, (eds.) — Declarative Logic Programming: Theory, Systems, and Applications

Michael Kifer, Yanhong Annie Liu, (eds.) — Declarative Logic Programming: Theory, Systems, and Applications

Paul Hudak (auth.), Bharat Jayaraman (eds.) — Practical Aspects of Declarative Languages: 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004. Proceedings

Nachum Dershowitz (auth.), Bart Demoen, Vladimir Lifschitz (eds.) — Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Ian Horrocks (auth.), Maurizio Gabbrielli, Gopal Gupta (eds.) — Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings

Monica S. Lam (auth.), Sandro Etalle, Mirosław Truszczyński (eds.) — Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.) — Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Alain Colmerauer (auth.), Philippe Codognet (eds.) — Logic Programming: 17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings

W. Bibel, D. Korn, C. Kreitz, F. Kurucz (auth.), Norbert E. Fuchs (eds.) — Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings

W. Bibel, D. Korn, C. Kreitz, F. Kurucz (auth.), Norbert E. Fuchs (eds.) — Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings

John Alan Robinson (auth.), John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (eds.) — Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

John Hughes (auth.), Michael Hanus (eds.) — Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Chitta Baral, Juraj Dzifcak, Luis Tari (auth.), Véronica Dahl, Ilkka Niemelä (eds.) — Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings

Vítor Santos Costa (auth.), Maria Garcia de la Banda, Enrico Pontelli (eds.) — Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

Manuel Carro, Ricardo Peña — Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings (Lecture Notes in ... / Programming and Software Engineering)

Frases chave