Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings

...

Author: Alberto Pettorossi

12 downloads 376 Views 3MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

DOWNLOAD DJVU

Rules in Database Systems: Third International Workshop, RIDS '97, Skövde, Sweden, June 26-28, 1997 Proceedings

Rules in Database Systems: Third International Workshop, RIDS '97, Skövde, Sweden, June 26-28, 1997 Proceedings

Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings

Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings

Cooperative Information Agents III: Third International Workshop, CIA'99 Uppsala, Sweden, July 31 - August 2, 1999 Proceedings: No. 3

Cooperative Information Agents III: Third International Workshop, CIA'99 Uppsala, Sweden, July 31 - August 2, 1999 Proceedings: No. 3

Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings

Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings

Logic, methodology and philosophy of science IX: Proceedings Uppsala, 1991

Logic, methodology and philosophy of science IX: Proceedings Uppsala, 1991

Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings: Third International Workshop, WSA '93, ... 3rd

Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings: Third International Workshop, WSA '93, ... 3rd

Proceedings of the Third Scandinavian Logic Symposium

Proceedings of the Third Scandinavian Logic Symposium

CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala,

CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala,

$Analysis of concrete structures by fracture mechanics: proceedings of the International RILEM workshop, Abisko, Sweden, June 28-30, 1989$

Analysis of concrete structures by fracture mechanics: proceedings of the International RILEM workshop, Abisko, Sweden, June 28-30, 1989

Semantics: Foundations and Applications: REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings

Semantics: Foundations and Applications: REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings

Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings: ... 4th

Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings: ... 4th

Proceedings Of The Sixth International Workshop: Proceedings Of The Sixth International Workshop

Proceedings Of The Sixth International Workshop: Proceedings Of The Sixth International Workshop

Vlsi Design Methods: International Workshop Proceedings

Vlsi Design Methods: International Workshop Proceedings

Advanced Information Systems Engineering: 12th International Conference, CAiSE 2000, Stockholm, Sweden, June 5-9, 2000 Proceedings

Advanced Information Systems Engineering: 12th International Conference, CAiSE 2000, Stockholm, Sweden, June 5-9, 2000 Proceedings

Audio- and Video-Based Biometric Person Authentication: Third International Conference, AVBPA 2001 Halmstad, Sweden, June 6-8, 2001. Proceedings

Audio- and Video-Based Biometric Person Authentication: Third International Conference, AVBPA 2001 Halmstad, Sweden, June 6-8, 2001. Proceedings

Inductive Logic Programming: 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers

Inductive Logic Programming: 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers

Japan Workshop, Cambridge, MA, USA, October 14-17, 1992. Proceedings

Japan Workshop, Cambridge, MA, USA, October 14-17, 1992. Proceedings

Programming Language Implementation and Logic Programming: International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings

Programming Language Implementation and Logic Programming: International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings

Intelligent Agents for Telecommunication Applications: Third International Workshop, IATA'99, Stockholm, Sweden, August 9-10, 1999, Proceedings

Intelligent Agents for Telecommunication Applications: Third International Workshop, IATA'99, Stockholm, Sweden, August 9-10, 1999, Proceedings

Metaprogramming Ruby

Metaprogramming Ruby

Advances in Spatial Databases: Third International Symposium, SSD '93, Singapore, June 23-25, 1993. Proceedings

Advances in Spatial Databases: Third International Symposium, SSD '93, Singapore, June 23-25, 1993. Proceedings

Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings

Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings

Intelligent Tutoring Systems: Second International Conference, ITS '92, Montreal, Canada, June 10-12, 1992. Proceedings

Intelligent Tutoring Systems: Second International Conference, ITS '92, Montreal, Canada, June 10-12, 1992. Proceedings

Discrete Geometry for Computer Imagery: 9th International Conference, DGCI 2000 Uppsala, Sweden, December 13-15, 2000 Proceedings

Discrete Geometry for Computer Imagery: 9th International Conference, DGCI 2000 Uppsala, Sweden, December 13-15, 2000 Proceedings

Parallel Execution of Logic Programs: ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings

Parallel Execution of Logic Programs: ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings

Logic in Databases: International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings

Logic in Databases: International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings

Frontiers in algorithmics third international workshop; proceedings FAW <3. 2009. Hefei>

Frontiers in algorithmics third international workshop; proceedings FAW <3. 2009. Hefei>

Algorithms in Bioinformatics: Third International Workshop, WABI 2003, Budapest, Hungary, September 15-20, 2003, Proceedings

Algorithms in Bioinformatics: Third International Workshop, WABI 2003, Budapest, Hungary, September 15-20, 2003, Proceedings

Information Theory and Applications: Third Canadian Workshop, Rockland, Ontario, Canada, May 30 - June 2, 1993. Proceedings

Information Theory and Applications: Third Canadian Workshop, Rockland, Ontario, Canada, May 30 - June 2, 1993. Proceedings

Our partners will collect data and use cookies for ad personalization and measurement. Learn how we and our ad partner Google, collect and use data. Agree & close