New Perspectives in Symbolic Computation and Satisfiability Checking

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
In: 10.4230/DagRep.12.2.67

Ereignis
Veröffentlichung
(wo)
Aachen
(wer)
Universitätsbibliothek der RWTH Aachen
(wann)
2022
Urheber
Ábrahám, Erika
Davenport, James H.
England, Matthew
Griggio, Alberto

URN
urn:nbn:de:0030-drops-169310
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:47 MEZ

Datenpartner

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

Beteiligte

  • Ábrahám, Erika
  • Davenport, James H.
  • England, Matthew
  • Griggio, Alberto
  • Universitätsbibliothek der RWTH Aachen

Entstanden

  • 2022

Ähnliche Objekte (12)