Ergebnisse für *

Es wurden 10 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 10 von 10.

Sortieren

  1. Programmierlogik
    Erschienen: 1976
    Verlag:  R. Müller, Köln-Braunsfeld

    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Groß, Jürgen
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3481360010
    RVK Klassifikation: QH 500 ; ES 900 ; ST 230 ; ST 265
    Schriftenreihe: Die elektronische Datenverarbeitung von A bis Z
    Schlagworte: Programmierlogik;
    Umfang: 121 S., graph. Darst., Tab.
    Bemerkung(en):

    Auf d. Umschlag: Fischbach-Gross

  2. Foundations of logic programming
    Erschienen: 1984
    Verlag:  Springer, Berlin [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 230 L793
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 230 L793
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 230 L793
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Ausgesondert: F.4-28
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-28 ex 4
    keine Fernleihe
    Hochschul- und Landesbibliothek Fulda, Standort Campus
    20 / ST 230 L793
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Mainz, Zentralbibliothek
    111.964
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    I.2. Lloy
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3540132996; 0387132996
    RVK Klassifikation: ES 915 ; ST 230 ; ST 240
    Schriftenreihe: Symbolic computation
    Schlagworte: Programmierlogik; Programmierung; Programmiersprache; Semantik; Logische Programmierung; Mathematische Logik; Programmierung <EDV>; Mathematische Logik; PROLOG <EDV>
    Umfang: X, 124 S., 10 graph. Darst.
    Bemerkung(en):

    Literaturverz. S. 113 - 118

  3. The logical basis for computer programming
    2, Deductive systems
    Autor*in: Manna, Zohar
    Erschienen: 1990
    Verlag:  Addison-Wesley, Reading, Mass. [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 304 M282-2
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 304 M282-2
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    D.3-609 ex 2
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    D.3-609
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Waldinger, Richard
    Sprache: Englisch
    Medientyp: Mehrbändiges Werk
    Format: Druck
    Übergeordneter Titel: The logical basis for computer programming - Alle Bände anzeigen
    RVK Klassifikation: ST 120 ; ST 304 ; ES 920
    Schlagworte: Programmierlogik; Programmierung; Mathematische Logik
    Umfang: XIII, 642 S., graph. Darst.
  4. Programmierlogik
    Erschienen: 1976
    Verlag:  Müller, Köln-Braunsfeld

    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    10.937.00
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Hochschul- und Landesbibliothek Fulda, Standort Campus
    21 / ST 230 F528 P9
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Gießen
    20.262.44
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Wissenschaftliche Stadtbibliothek
    13/2281, Bd. 18
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Hochschul- und Landesbibliothek RheinMain, Rheinstraße
    60 77 A 565
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Stadtbibliothek Worms
    -Mag- D 2977
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Gross, Jürgen
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3481360010
    RVK Klassifikation: QH 500 ; ES 900 ; ST 230 ; ST 265
    Schriftenreihe: Die elektronische Datenverarbeitung von A bis Z
    Schlagworte: Programmierlogik; Programmierung <EDV>
    Umfang: 121 S., graph. Darst., 22 cm
    Bemerkung(en):

    Auf d. Umschlag: Fischbach-Gross.

  5. Natural language understanding and logic programming
    proceedings of the ... Internat. Workshop on Natural Language Understanding and Logic Programming ...
    Autor*in:
    Verlag:  North-Holland, Amsterdam u.a.

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Dahl, Veronica (Sonstige)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0444877142; 0444704086
    RVK Klassifikation: ER 300 ; ES 900
    Schlagworte: Logische Programmierung; Natürliche Sprache; Sprachverarbeitung; Datenverarbeitung; Sprache; Programmierlogik
  6. Natural language understanding and logic programming
    proceedings of the ... International Workshop on Natural Language Understanding and Logic Programming – 2, Vancouver, Canada, 17 - 19 August 1987
    Autor*in:
    Erschienen: 1988
    Verlag:  Elsevier, Amsterdam [u.a.]

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0444704086
    Übergeordneter Titel:
    RVK Klassifikation: ER 300 ; ES 900
    Schlagworte: Datenverarbeitung; Sprache; Programmierlogik; Logische Programmierung; Sprachverarbeitung; Natürliche Sprache
    Umfang: VIII, 345 S., graph. Darst.
  7. Natural language understanding and logic programming, II
    proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19, 1987
    Autor*in:
    Erschienen: 1988
    Verlag:  North-Holland, Amsterdam

    Universitätsbibliothek Bielefeld
    HI052%Y87 N2L2U
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Dahl, Veronica (Hrsg.)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0444704086
    RVK Klassifikation: ES 900 ; ER 300
    Schlagworte: Programmierlogik; Datenverarbeitung; Sprachverarbeitung; Sprache; Natürliche Sprache; Logische Programmierung
    Umfang: VIII, 345 S., graph. Darst.
  8. Foundations of logic programming
    Erschienen: 1984
    Verlag:  Springer, Berlin [u.a.]

    Universitätsbibliothek der RWTH Aachen
    BM572
    Ausleihe von Bänden möglich, keine Kopien
    Universität Bonn, Institut für Philosophie, Bibliothek
    K 5750/300
    keine Fernleihe
    Universitäts- und Landesbibliothek, Abteilungsbibliothek Medizin, Naturwissenschaften und Landbau
    87/25449
    Ausleihe von Bänden möglich, keine Kopien
    Universitätsbibliothek Dortmund
    LH0155/356
    keine Fernleihe
    Universitätsbibliothek Kaiserslautern
    LINF
    Universitätsbibliothek Kaiserslautern
    INF
    Universitätsbibliothek Kaiserslautern
    L INF 621
    Regionales Rechenzentrum der Universität zu Köln, Bibliothek
    006/005.115/LLoy05
    Ausleihe von Bänden möglich, keine Kopien
    Universitäts- und Stadtbibliothek Köln, Hauptabteilung
    9H3706
    Ausleihe von Bänden möglich, keine Kopien
    Bibliothek des Fachbereichs Mathematik und Informatik der Universität
    I Lloy
    keine Fernleihe
    Institut für Ethik, Geschichte und Theorie der Medizin, Bibliothek
    73 a L 619
    keine Fernleihe
    Universitätsbibliothek Trier
    f2229
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 3540132996; 0387132996
    RVK Klassifikation: ST 245 ; ST 230 ; ES 915
    Schriftenreihe: Symbolic computation
    Schlagworte: Logische Programmierung; Programmiersprache; Programmierlogik; Mathematische Logik; Programmierung; Semantik
    Umfang: X, 124 S., 10 graph. Darst.
  9. Programmierlogik
    Erschienen: 1976
    Verlag:  Müller, Köln-Braunsfeld

    Fakultätsbibliothek Wirtschaftswissenschaften
    615:013422
    Ausleihe von Bänden möglich, keine Kopien
    Universitätsbibliothek der RWTH Aachen
    BF6569=2
    Ausleihe von Bänden möglich, keine Kopien
    Universitätsbibliothek Bielefeld
    HI350 F528
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Ruhr-Universität Bochum, Fakultät für Wirtschaftswissenschaft, Bibliothek
    G 37 / 29
    keine Fernleihe
    Ruhr-Universität Bochum, Verbundbibliothek IC BU/MB
    CTT 030
    keine Fernleihe
    Universität Bonn, Institut für Philosophie, Bibliothek
    K 2950/700
    keine Fernleihe
    Universitäts- und Landesbibliothek, Abteilungsbibliothek Medizin, Naturwissenschaften und Landbau
    76/25440
    Ausleihe von Bänden möglich, keine Kopien
    Universitätsbibliothek Duisburg-Essen, Campus Essen
    TXA1138_d
    Universitätsbibliothek der Fernuniversität
    Universitätsbibliothek Kaiserslautern
    MAG 002/541
    Universitäts- und Stadtbibliothek Köln, Hauptabteilung
    4G1213
    Ausleihe von Bänden möglich, keine Kopien
    Hochschulbibliothek Trier
    DV 31/0020
    Ausleihe von Bänden möglich, keine Kopien
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Gross, Jürgen (Verfasser)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3481360010
    RVK Klassifikation: QH 500 ; ES 900 ; ST 265 ; ST 230
    Schriftenreihe: Die elektronische Datenverarbeitung von A bis Z
    Schlagworte: Programmierlogik
    Umfang: 121 S., Ill.
  10. Programmierlogik
    Erschienen: 1976
    Verlag:  R. Müller, Köln-Braunsfeld

    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    31 MA 3612
    keine Fernleihe
    Universitätsbibliothek Braunschweig
    2476-6139
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Universität Chemnitz, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    A 1977/263
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    9/1876
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    AF 1665
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    oek 7412/039
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Heidelberg
    76 K 350
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Ilmenau
    77 A 1708
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Badische Landesbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Karlsruher Institut für Technologie, KIT-Bibliothek
    76 A 961
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    Af 1292
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Leipzig
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Mannheim
    AE 2480
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Hochschule für Technik und Wirtschaft des Saarlandes, Bibliothek / Bereich Waldhausweg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Hochschule Albstadt-Sigmaringen, Bibliothek Sigmaringen
    InPr 275
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Deutsche Universität für Verwaltungswissenschaften Speyer, Universitätsbibliothek
    D II s 722
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Stuttgart
    3H 1832
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Württembergische Landesbibliothek
    26C/1114
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    UB Weimar
    63 921
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Groß, Jürgen
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3481360010
    RVK Klassifikation: QH 500 ; ES 900 ; ST 230 ; ST 265
    Schriftenreihe: Die elektronische Datenverarbeitung von A bis Z
    Schlagworte: Programmierlogik;
    Umfang: 121 S., graph. Darst., Tab.
    Bemerkung(en):

    Auf d. Umschlag: Fischbach-Gross