Identifier: 978-0-273-08718-2

Identifier Namespace
eisbn
Identifier
978-0-273-08718-2


Identified Components with same Identifier:

Title Package Namespace
A Many-Sorted Calculus Based on Resolution and Paramodulation (Current) eBook - Computer Science (Legacy 1) [EBCCSL1] eisbn
A Many-Sorted Calculus Based on Resolution and Paramodulation (Current) eBook - All Access Books [EBAAB] eisbn
A Many-Sorted Calculus Based on Resolution and Paramodulation (Current) eBook - Focus: Mathematical Sciences [EBFCMATHSC] eisbn
A Many-Sorted Calculus Based on Resolution and Paramodulation (Deleted) Book Series Backfile Package - Chemistry [YBCHEM] eisbn
Edit (Login required)
Date Created
2021-11-10 20:35:30
Last Updated
2021-11-10 20:35:31
UUID
8a30b475-8d8d-4213-b1df-0d7834a536b7


Loading