Identifier: 978-3-540-46670-3

Identifier Namespace
eisbn
Identifier
978-3-540-46670-3


Identified Components with same Identifier:

Title Package Namespace
A Resolution Principle for a Logic with Restricted Quantifiers (Current) Springer Nature - Springer Book Archive - Springer Computer Science eisbn
A Resolution Principle for a Logic with Restricted Quantifiers (Current) Springer Nature - Springer Book Archive - Springer Computer Science 1990-1999 eisbn
A Resolution Principle for a Logic with Restricted Quantifiers (Current) Springer Nature - Springer Lecture Notes in Computer Science eBooks eisbn
Edit (Login required)
Date Created
2020-01-20 13:38:12
Last Updated
2020-01-20 13:38:12
UUID
d0e45fde-bd7d-4139-8643-3367f3205b1b


Loading