Ergebnisse für *

Es wurden 1 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 1 von 1.

Sortieren

1. Logic for computer science

   foundations of automatic theorem proving
   Autor*in: Gallier, Jean H.

   Erschienen: 1986

   Verlag:  Harper & Row, New York [u.a.]

   • Bibliographische Angaben
   • Zugang
   • Export

   Aachen: Universitätsbibliothek der RWTH Aachen

   Standort:

   Universitätsbibliothek der RWTH Aachen

   Signatur:

   BM5305-5+1

   Fernleihe:

   Ausleihe von Bänden möglich, keine Kopien

   Link zum Verbundkatalog:

   Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

   Essen: Universitätsbibliothek Duisburg-Essen, Campus Essen

   Standort:

   Universitätsbibliothek Duisburg-Essen, Campus Essen

   Signatur:

   TVD169

   Standort:

   Universitätsbibliothek Duisburg-Essen, Campus Essen

   Signatur:

   TVD169

   Link zum Verbundkatalog:

   Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

   Hagen: Fachhochschule Südwestfalen, Fachbibliothek Hagen, Zentralbibliothek

   Standort:

   Fachhochschule Südwestfalen, Fachbibliothek Meschede

   Signatur:

   77TVD1711

   Link zum Verbundkatalog:

   Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

   Hagen: Universitätsbibliothek der Fernuniversität

   Standort:

   Universitätsbibliothek der Fernuniversität

   Signatur:

   TVI/GAL

   Link zum Verbundkatalog:

   Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

   Kaiserslautern: Universitätsbibliothek Kaiserslautern

   Standort:

   Universitätsbibliothek Kaiserslautern

   Signatur:

   INF 864/044

   Standort:

   Universitätsbibliothek Kaiserslautern

   Link zum Verbundkatalog:

   Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

   Köln: Universitäts- und Stadtbibliothek Köln, Hauptabteilung

   Standort:

   Universitäts- und Stadtbibliothek Köln, Hauptabteilung

   Signatur:

   10H2516

   Fernleihe:

   Ausleihe von Bänden möglich, keine Kopien

   Link zum Verbundkatalog:

   Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

   Münster: Universitäts- und Landesbibliothek Münster

   Standort:

   Bibliothek des Fachbereichs Mathematik und Informatik der Universität

   Signatur:

   L Gall

   Fernleihe:

   keine Fernleihe

   Standort:

   Bibliothek des Fachbereichs Mathematik und Informatik der Universität

   Signatur:

   I Gall

   Fernleihe:

   keine Fernleihe

   Link zum Verbundkatalog:

   Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

   Export in Literaturverwaltung

   RIS-Format   BibTeX-Format

   Quelle:	Verbundkataloge
   Sprache:	Unbestimmt
   Medientyp:	Buch (Monographie)
   ISBN:	0060422254
   RVK Klassifikation:	ST 315 ; SK 130 ; ST 130 ; ES 900
   Schriftenreihe:	Harper & [and] Row computer science and technology series ; 5
   Schlagworte:	Automatisches Beweisverfahren
   Umfang:	XV, 511 S., graph. Darst.