Shortcuts
Bitte warten Sie, bis die Seite geladen ist.
 
PageMenu- Hauptmenü-
Page content

Katalogdatenanzeige

Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
Kataloginformation
Feldname Details
Vorliegende Sprache eng
ISBN 978-3-319-63045-8
Name de Moura, Leonardo ¬[Hrsg.]¬
T I T E L Automated Deduction – CADE 26
Zusatz zum Titel 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
Verlagsort Cham
Verlag Springer
Erscheinungsjahr 2017
2017
Umfang Online-Ressource (XI, 582 p. 87 illus, online resource)
Reihe Lecture Notes in Computer Science ; 10395
Lecture notes in computer science
Band 10395
Titelhinweis Druckausg.ISBN: 978-3-319-63045-8
Printed editionISBN: 978-3-319-63045-8
ISBN ISBN 978-3-319-63046-5
Klassifikation TJFM1
*68-06
03-06
03B35
68T15
00B25
UYQ
COM004000
006.3
Q334-342
TJ210.2-211.495
Kurzbeschreibung The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license
2. Kurzbeschreibung Automated deduction -- Including foundations -- Applications.-Implementations -- Practical experience
1. Schlagwortkette Automatisches Beweisverfahren
ANZEIGE DER KETTE Automatisches Beweisverfahren
SWB-Titel-Idn 491753977
Signatur Springer E-Book
Bemerkungen Elektronischer Volltext - Campuslizenz
Elektronische Adresse $uhttp://dx.doi.org/10.1007/978-3-319-63046-5
Internetseite / Link Volltext
Siehe auch Cover
Siehe auch Inhaltstext
.
ISBD-Anzeige Katalogdatensatz500255525
.
Kategorien-Anzeige Katalogdatensatz500255525
.
Verwandte Werke Katalogdatensatz500255525
.
Bände anzeigen Katalogdatensatz500255525
.
Titel zur Titelsammlung hinzufügen Katalogdatensatz500255525
.
Kataloginformation500255525 Datensatzanfang . Kataloginformation500255525 Seitenanfang .
Titel vormerken Katalogdatensatz500255525
Vollanzeige Katalogdaten 

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche