scientific article
From MaRDI portal
Publication:3750140
zbMath0609.68063MaRDI QIDQ3750140
Zohar Manna, Richard Waldinger
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
program synthesisunification algorithmrobot planningconditional and recursive plansdeductive-tableau inference system
Related Items (1)
This page was built for publication:
