Identifier: 10.1007/3-540-55034-8

Identifier Namespace
title_id
Identifier
10.1007/3-540-55034-8


Identified Components with same Identifier:

Title Package Namespace
A Resolution Principle for a Logic with Restricted Quantifiers (Current) Springer Nature - Springer Lecture Notes in Computer Science eBooks title_id
A Resolution Principle for a Logic with Restricted Quantifiers (Current) Springer Nature - Springer Book Archive - Springer Computer Science title_id
A Resolution Principle for a Logic with Restricted Quantifiers (Current) Springer Nature - Springer Book Archive - Springer Computer Science 1990-1999 title_id
Edit (Login required)
Date Created
2022-02-16 07:29:35
Last Updated
2022-02-16 07:29:35
UUID
df1321e2-84f3-4c60-b9f3-a2ea49e2c961


Loading