Cover Image

String-Rewriting Systems /

Show other versions (1)

The book represents an attempt by the authors to gather together the most fundamental results on string-rewriting systems. The goal is to explain these results in such a way that they can be understood and used in studies relating to more general rewriting, automated deduction, and algorithmic probl...

Full description

Bibliographic Details
Main Author:	Book, Ronald V.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Otto, Friedrich
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 1993.
Series:	Text and Monographs in Computer Science.
Subjects:	Computer science. Artificial intelligence. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Cytochrome Systems : Molecular Biology and Bioenergetics /
by: Papa, S.
Published: (1987)

Expert System Applications /
by: Bolc, Leonard
Published: (1988)

Frontiers of Expert Systems : Reasoning with Limited Knowledge /
by: Mohan, Chilukuri Krishna
Published: (2000)

Second Generation Expert Systems /
by: David, Jean-Marc
Published: (1993)

Natural Language Parsing Systems /
by: Bolc, Leonard
Published: (1987)

Natural Language Generation Systems /
by: McDonald, David D.
Published: (1988)

Building Expert Systems in Prolog /
by: Merritt, Dennis
Published: (1989)

Expert Judgment and Expert Systems /
by: Mumpower, Jeryl L.
Published: (1987)

Cybernetics and Systems '86 : Proceedings of the Eighth European Meeting on Cybernetics and Systems Research, organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 /
by: Trappl, Robert
Published: (1986)

Expert Systems and Probabilistic Network Models /
by: Castillo, Enrique
Published: (1997)

Learning Issues for Intelligent Tutoring Systems /
by: Mandl, Heinz
Published: (1988)

Software Agents for Future Communication Systems /
by: Hayzelden, Alex L. G.
Published: (1999)

Automating Knowledge Acquisition for Expert Systems /
by: Marcus, Sandra
Published: (1988)

Technologies for Constructing Intelligent Systems 1 : Tasks /
by: Bouchon-Meunier, Bernadette
Published: (2002)

Technologies for Constructing Intelligent Systems 2 : Tools /
by: Bouchon-Meunier, Bernadette
Published: (2002)

Computational Intelligence Systems and Applications : Neuro-Fuzzy and Fuzzy Neural Synergisms /
by: Gorzałczany, Marian B.
Published: (2002)

On Knowledge Base Management Systems : Integrating Artificial Intelligence and Database Technologies /
by: Brodie, Micheal L.
Published: (1986)

Research and Development in Intelligent Systems XVI : Proceedings of ES99, the Nineteenth SGES International Conference on Knowledge-Based Systems and Applied Artificial Intelligence, Cambridge, December 1999 /
by: Bramer, Max
Published: (2000)

New Directions for Intelligent Tutoring Systems : Proceedings of the NATO Advanced Research Workshop on New Directions for Intelligent Tutoring Systems, held in Sintra, Portugal, 6-10 October, 1990 /
by: Costa, Ernesto
Published: (1992)

Research and Development in Intelligent Systems XVIII : Proceedings of ES2001, the Twenty-first SGES International Conference on Knowledge Based Systems and Applied Artificial Intelligence, Cambridge, December 2001 /
by: Bramer, Max
Published: (2002)

Research and Development in Expert Systems XV : Proceedings of ES98, the Eighteenth Annual International Conference of the British Computer Society Specialist Group on Expert Systems, Cambridge, December 1998 /
by: Miles, Roger S.
Published: (1999)

Applications and Innovations in Expert Systems VI : Proceedings of ES98, the Eighteenth Annual International Conference of the British Computer Society Specialist Group on Expert Systems, Cambridge, December 1998 /
by: Milne, Robert W.
Published: (1999)

Intelligent Tutoring Systems for Foreign Language Learning : the Bridge to International Communication /
by: Swartz, Merryanna L.
Published: (1992)

Research and Development in Intelligent Systems XX : Proceedings of AI2003, the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence /
by: Coenen, Frans
Published: (2004)

Robot Colonies /
by: Arkin, Ronald C.
Published: (1997)

Computational Conflicts : Conflict Modeling for Distributed Intelligent Systems /
by: Müller, Heinz Jürgen
Published: (2000)

Soft Computing Agents : New Trends for Designing Autonomous Systems /
by: Loia, Vincenzo
Published: (2001)

Investigating Explanation-Based Learning /
by: DeJong, Gerald
Published: (1993)

Representing Uncertain Knowledge : An Artificial Intelligence Approach /
by: Krause, Paul
Published: (1993)

Multistrategy Learning : a Special Issue of MACHINE LEARNING /
by: Michalski, Ryszard S.
Published: (1993)

Foundations of Knowledge Acquisition: Cognitive Models of Complex Learning /
by: Chipman, Susan
Published: (1993)

Designing Environments for Constructive Learning /
by: Duffy, Thomas M.
Published: (1993)

Generating Abstraction Hierarchies : an Automated Approach to Reducing Search in Planning /
by: Knoblock, Craig A.
Published: (1993)

CSCW: Cooperation or Conflict? /
by: Easterbrook, Steve
Published: (1993)

The Structure of Intelligence : a New Mathematical Model of Mind /
by: Goertzel, Ben
Published: (1993)

Neuroscience: From Neural Networks to Artificial Intelligence : Proceedings of a U.S.-Mexico Seminar held in the city of Xalapa in the state of Veracruz on December 9-11, 1991 /
by: Rudomin, Pablo
Published: (1993)

Intelligent Learning Environments and Knowledge Acquisition in Physics /
by: Tiberghien, Andrée
Published: (1992)

Linguistic Geometry : From Search to Construction /
by: Stilman, Boris
Published: (2000)

Connectionist Approaches to Language Learning /
by: Touretzky, David
Published: (1991)

Machine Learning of Inductive Bias /
by: Utgoff, Paul E.
Published: (1986)