Shortcuts
 
PageMenu- Hauptmenü-
Page content
 

Suchergebnisse

Ihre Suche nach AUTOMATISCHES BEWEISVERFAHREN ergibt 6 Einträge

Suchergebnisseite: .   1   .   . Seite: 1 von 1
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Suchergebnisse einschränken

Medientyp:
LitAbtlg:
Sprache:
Standort:
Suchergebnisse in Regalansicht anzeigen.
Suchergebnisse
Nr. Cover Titel Verfasser Jahr Beschreibung Exemplarinformation
1 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 [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500255525500255525 E-Book URL Exists Catalogue Record .
2 Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500257464500257464 E-Book URL Exists Catalogue Record .
3 ¬The¬ efficiency of theorem proving strategies: a comparative and asymptotic analysis ¬The¬ efficiency of theorem proving strategies: a comparative and asymptotic analysis [Buch] Plaisted, David A. 1997 Buch URL Exists Catalogue Record Regalstandort: ST 300 P698.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
4 Graph-based proof procedures for Horn clauses Graph-based proof procedures for Horn clauses [Hochschulschriften] Raatz, Stan 1990 Reihenverknüpfung anzeigen für Katalogsatz 500016890500016890 Hochschulschriften URL Exists Catalogue Record Regalstandort: 27 800/1.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
5 Grundlagen des maschinellen Beweisens: eine Einführung für Informatiker und Mathematiker Grundlagen des maschinellen Beweisens: eine Einführung für Informatiker und Mathematiker [Buch] Hofbauer, Dieter 1991 Buch URL Exists Catalogue Record Regalstandort: SK 130 H697(2).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
6 Journal of automated reasoning [Buch]   1985 Buch URL Exists Catalogue Record .
Suchergebnisseite: .   1   .   . Seite: 1 von 1
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Schnellsuche