Rewriting techniques and applications : 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings /

Rewriting techniques and applications : 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings /

Show other versions (3)

Annotation

Bibliographic Details
Corporate Author: International Conference on Rewriting Techniques and Applications Hagenberg im Mü̈hlkreis, Austria
Other Authors: Voronkov, Andrei, 1959-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, ©2008
Series:LNCS sublibrary Theoretical computer science and general issues.
Lecture notes in computer science ; 5117
Subjects:
Algorithms > Congresses
Artificial intelligence
Computer programming > Congresses
Rewriting systems (Computer science) > Congresses
Artificial Intelligence
Electronic Data Processing
Algorithmes > Congrès
Informatique
Intelligence artificielle
Programmation (Informatique) > Congrès
Systèmes de réécriture (Informatique) > Congrès
Algorithms
Computer programming
Rewriting systems (Computer science)
artificial intelligence
computer science
data processing
Computer Science
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Symbolic and Algebraic Manipulation
Congress
Electronic books
Actes de congrès
Conference papers and proceedings
proceedings (reports)
Description
Summary:Annotation
Physical Description:1 online resource (xiii, 455 pages) : illustrations
Bibliography:Includes bibliographical references and author index
ISBN:3540705880
3540705902
9783540705888
9783540705901
ISSN:0302-9732 ;
Access:University staff and students only. Requires University Computer Account login off-campus

Similar Items