Shortcuts
 
PageMenu- Hauptmenü-
Page content
 

Suchergebnisse

Ihre Suche nach 68T15 ergibt 10 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 Aussagenlogik: Deduktion und Algorithmen Aussagenlogik: Deduktion und Algorithmen [Buch] Kleine Büning, Hans 1994 Buch URL Exists Catalogue Record Regalstandort: ST 120 K64.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
2 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 .
3 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 .
4 Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications [E-Book] O'Regan, Gerard 2017 E-Book URL Exists Catalogue Record .
5 Deduktion: Automatisierung der Logik Deduktion: Automatisierung der Logik [Buch] Bibel, Wolfgang 1992 Reihenverknüpfung anzeigen für Katalogsatz 500020331500020331 Buch URL Exists Catalogue Record Regalstandort: ST 120 B581.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
6 Grundlagen der künstlichen Intelligenz: eine Einführung in Einzelbeiträgen Grundlagen der künstlichen Intelligenz: eine Einführung in Einzelbeiträgen [Buch]   1989 Reihenverknüpfung anzeigen für Katalogsatz 500444989500444989 Buch URL Exists Catalogue Record .
7 Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500257449500257449 E-Book URL Exists Catalogue Record .
8 Introduction to Artificial Intelligence Introduction to Artificial Intelligence [E-Book] Ertel, Wolfgang 2017 E-Book URL Exists Catalogue Record .
9 Methoden wissensbasierter Systeme: Grundlagen, Algorithmen, Anwendungen Methoden wissensbasierter Systeme: Grundlagen, Algorithmen, Anwendungen [Buch] Beierle, Christoph 2000 Buch URL Exists Catalogue Record Regalstandort: ST 302 B422.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 6.
10 Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500255492500255492 E-Book URL Exists Catalogue Record .

Ihre Suche nach 68T15 ergibt 10 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.

Schnellsuche