- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Long-Distance Q-Resolution with Dependency Schemes ; day:9 ; month:6 ; year:2018 ; pages:1-29
Journal of automated reasoning ; (9.6.2018), 1-29
- Creator
- Contributor
- DOI
-
10.1007/s10817-018-9467-3
- URN
-
urn:nbn:de:101:1-2018081523091735284036
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 15.08.2025, 7:37 AM CEST
Data provider
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Peitl, Tomáš
- Slivovsky, Friedrich
- Szeider, Stefan
- SpringerLink (Online service)