Term Rewriting and All That

Autor*innen

• Franz Xaver von Baader
• Tobias Nipkow

Parameter

• 316 Seiten
• 12 Lesestunden

• Informatik & Programmierung
• Logik
• Mathematik

Mehr zum Buch

Offering a cohesive and comprehensive introduction to term-rewriting, this book is ideal for both students and professionals in the field. It presents the concepts in a self-contained manner, ensuring that readers can grasp the material effectively, regardless of their prior knowledge.

• Sprache: Englisch
• Erscheinungsdatum: 2006
• Einband: Paperback