Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers

...

Author: Jan Heering | Karl Meinke | Bernhard Möller | Tobias Nipkow

8 downloads 271 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

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers

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

Selected Logic Papers

Selected Logic Papers

Selected logic papers

Selected logic papers

Logic, Language and Meaning: 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers

Logic, Language and Meaning: 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers

Human-Computer Interaction: Third International Conference, EWHCI '93, Moscow, Russia, August 3-7, 1993. Selected Papers

Human-Computer Interaction: Third International Conference, EWHCI '93, Moscow, Russia, August 3-7, 1993. Selected Papers

Term Rewriting and All That

Term Rewriting and All That

Term rewriting and all that

Term rewriting and all that

Essays and Term Papers

Essays and Term Papers

Arts and Technology: First International Conference, ArtsIT 2009, Yi-Lan, Taiwan, September 24-25, 2009 - Revised Selected Papers

Arts and Technology: First International Conference, ArtsIT 2009, Yi-Lan, Taiwan, September 24-25, 2009 - Revised Selected Papers

Selected Papers of the International Workshop on Smalltalk Technologies (IWST 10) : Barcelona, Spain, September 14, 2010

Selected Papers of the International Workshop on Smalltalk Technologies (IWST 10) : Barcelona, Spain, September 14, 2010

Fuzzy Logic and Applications: 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers

Fuzzy Logic and Applications: 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers

Secure Mobile Ad-hoc Networks and Sensors: First International Workshop, MADNES 2005, Singapore, September 20-22, 2005, Revised Selected Papers

Secure Mobile Ad-hoc Networks and Sensors: First International Workshop, MADNES 2005, Singapore, September 20-22, 2005, Revised Selected Papers

Data Mining and Bioinformatics: First International Workshop, VDMB 2006, Seoul, Korea, September 11, 2006, Revised Selected Papers

Data Mining and Bioinformatics: First International Workshop, VDMB 2006, Seoul, Korea, September 11, 2006, Revised Selected Papers

Computational Logic and Proof Theory 3 conf., KGC'93, Brno, Czech Republic, August 24-27, 1993

Computational Logic and Proof Theory 3 conf., KGC'93, Brno, Czech Republic, August 24-27, 1993

Scientific Applications of Grid Computing: First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers

Scientific Applications of Grid Computing: First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers

Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings

Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings

Graph Drawing, 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010, Revised Selected Papers

Graph Drawing, 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010, Revised Selected Papers

Sensor Based Intelligent Robots: International Workshop Dagstuhl Castle, Germany, September 28 - October 2, 1998 Selected Papers

Sensor Based Intelligent Robots: International Workshop Dagstuhl Castle, Germany, September 28 - October 2, 1998 Selected Papers

Machine Learning for Multimodal Interaction: First International Workshop, MLMI 2004, Martigny, Switzerland, June 21-23, 2004, Revised Selected Papers

Machine Learning for Multimodal Interaction: First International Workshop, MLMI 2004, Martigny, Switzerland, June 21-23, 2004, Revised Selected Papers

Multiagent Platforms: First Pacific Rim International Workshop on Multi-Agents, PRIMA'98, Singapore, November 23, 1998, Selected Papers

Multiagent Platforms: First Pacific Rim International Workshop on Multi-Agents, PRIMA'98, Singapore, November 23, 1998, Selected Papers

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

Fuzzy Logic in Artificial Intelligence: IJCAI '93 Workshop, Chamberry, France, August 28, 1993. Proceedings

Fuzzy Logic in Artificial Intelligence: IJCAI '93 Workshop, Chamberry, France, August 28, 1993. Proceedings

Computational Science - ICCS 2002: International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings

Computational Science - ICCS 2002: International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings

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

Logic, Language and Meaning: 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers (Lecture Notes in ... Lecture Notes in Artificial Intelligence)

Logic, Language and Meaning: 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers (Lecture Notes in ... Lecture Notes in Artificial Intelligence)

Computational Science - ICCS 2002: International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings

Computational Science - ICCS 2002: International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings

Datalog reloaded : first International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised selected papers

Datalog reloaded : first International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised selected papers

Selected Papers

Selected Papers

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