Term Rewriting and All That

Autori

• Franz von Baader
• Tobias Nipkow

Parametri

Pagine

316pagine

Tempo di lettura

12ore

• Computer, IT, programmazione
• Logica
• Matematica

Maggiori informazioni sul libro

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.

Per saperne di più

Lingua: Inglese

Pubblicato: 2006

(In brossura)