Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /

Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Baader, Franz (Editor)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Series:Lecture Notes in Computer Science, 4533
Subjects:
Computer science.
Programming languages (Electronic computers).
Computer logic.
Mathematical logic.
Computer science > Mathematics.
Artificial intelligence.
Computer Science.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics).
Symbolic and Algebraic Manipulation.
Online Access:Full Text via HEAL-Link
Description
Physical Description:XII, 422 p. online resource.
ISBN:9783540734499
ISSN:0302-9743 ;

Similar Items