Monografie

Executive summary : [deduction and decision procedures]

Sprache
Englisch
Identifier
991514696

Reihe
Dagstuhl seminar proceedings 07401

Beteiligte Personen und Organisationen
Baader, Franz
Cook, Byron
Giesl, Jürgen
Nieuwenhuis, Robert

URN
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.04.2023, 08:07 MESZ

Datenpartner

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

Objekttyp

  • Monografie

Beteiligte

Ähnliche Objekte (12)