KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Online-Ressource

Automated reasoning with analytic tableaux and related methods : 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, proceedings (2021)

TABLEAUX 30. 2021 Online ; Das, Anupam ; Negri, Sara

Cham, Switzerland :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almafu_BV047463347

Umfang: 1 Online-Ressource (xix, 467 Seiten) : , 87 Illustrationen, 13 in Farbe.

ISBN: 978-3-030-86059-2

Serie: Lecture notes in computer science 12842

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-86058-5

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-86060-8

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Künstliche Intelligenz ; Mathematische Logik ; Software Engineering ; Computerarchitektur ; Automatisches Beweisverfahren ; Konferenzschrift

DOI: 10.1007/978-3-030-86059-2

URL: Volltext (URL des Erstveröffentlichers)

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Open Access Wunsch

FU Berlin

Charité

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund

Berlin Brandenburg