Automated practical reasoning. Algebraic approaches. With a foreword by Jim Cunningham

zbMath0816.00013MaRDI QIDQ1346892

No author found.

Publication date: 29 March 1995

Published in: Texts \& Monographs in Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

practical reasoningautomated practical reasoning

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (1)

Models and the dynamics of theory-building in physics. I: Modeling strategies

Uses Software

• Maple
• MEDLAR

This page was built for publication: Automated practical reasoning. Algebraic approaches. With a foreword by Jim Cunningham