Filtern nach
Letzte Suchanfragen

Ergebnisse für *

Es wurden 1 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 1 von 1.

Sortieren

  1. Mathematical logic
    foundations for information science
    Autor*in: Li, Wei
    Erschienen: 2014
    Verlag:  Birkhauser, Basel

    Staats- und Universitätsbibliothek Bremen
    a mat 010/735(2)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    RN 9945(25),2
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Heidelberg
    LN-U1-15644
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    Bk 4794 2.Aufl.
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Mathematisches Forschungsinstitut Oberwolfach gGmbH, Bibliothek
    M/Li, W
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Württembergische Landesbibliothek
    64/22561
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Wilhelm-Schickard-Institut für Informatik, Bibliothek
    F.4.1
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    keine Fernleihe
    Herzog August Bibliothek Wolfenbüttel
    70.3540
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Herzog August Bibliothek Wolfenbüttel
    Beteiligt: Li, Wei
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3034808615; 9783034808613
    Weitere Identifier:
    9783034808613
    RVK Klassifikation: SK 130 ; ST 125
    Auflage/Ausgabe: 2., rev. ed.
    Schriftenreihe: Progress in computer science and applied logic ; 25
    Schlagworte: Logic, Symbolic and mathematical; Logic, Symbolic and mathematical
    Umfang: XIV, 301 S., graph. Darst., 242 mm
    Bemerkung(en):

    Engl. version of first Chinese edition, Beijing 2007 (ISBN 978-7-03020096-9). - Literaturverz. S. 293 - 295

    Author: Wei Li (State Key Laboratory of Software Development Environment, School of Computer Science and Engineering, Beihang University, Beijing, China)