Extraction of Expansion Trees

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1573-0670
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
online resource.

Erschienen in
Extraction of Expansion Trees ; day:27 ; month:1 ; year:2018 ; pages:1-38
Journal of automated reasoning ; (27.1.2018), 1-38

Urheber
Leitsch, Alexander
Beteiligte Personen und Organisationen
Lolić, Anela
SpringerLink (Online service)

DOI
10.1007/s10817-018-9453-9
URN
urn:nbn:de:101:1-2018090608053681250628
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:21 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Leitsch, Alexander
  • Lolić, Anela
  • SpringerLink (Online service)

Ähnliche Objekte (12)