Cover of Automated Reasoning

Legal full-text edition

Automated Reasoning

Unknown author · 2024

Automated reasoning Logic Logic and verification Modal and temporal logics Proof theory Interactive proof systems Description logics,

Read now OAPEN DOAB

Rights
Public-domain status shown for GLOBAL. DOAB open-access record with explicit license: open access