Zum Hauptinhalt springen
Hochschulbibliothekszentrum NRW

Suchergebnisse

Hochschulbibliotheken
131 Treffer

Suchmaske

Suchtipp für den Bereich Hochschulbibliotheken: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Erscheinungszeitraum

Form

Literaturtyp

Sprache

Schlagwort

Bestand in Bibliotheken

131 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Coordination and how to distinguish categories
    by Ivan A. Sag ...
    Stanford, Calif.: CSLI, Center for the Study of Language and Information, 1984
    Buch, Gedruckte Ressource
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Lessons from Bolzano
    by Johan van Benthem
    Stanford, Calif.: CSLI, Center for the Study of Language and Information, 1984
    Buch, Gedruckte Ressource
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    On some formal properties of metarules
    by Hans Uszkoreit and Stanley Peters
    Stanford, CA: CSLI, 1985
    Buch, Gedruckte Ressource
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    The role of logic in artificial intelligence
    by Roger C. Moore
    Stanford, CA: CSLI, 1985
    Buch, Gedruckte Ressource
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Limits of correctness in computers: prepared for and presented at a Symposium on Unintentional Nuclear War at the Fifth Congress of the International Physicians for the Prevention Nuclear War, Budapest, Hungary, June 28 - July 1, 1985
    by Brian Cantwell Smith
    Stanford, Calif.: CSLI, Center for the Study of Language and Information, 1985
    Buch, Gedruckte Ressource
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Language, mind and information
    by John Perry
    Stanford, Calif.: CSLI, Center for the Study of Language and Information, 1985
    Buch, Gedruckte Ressource
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Principles of OBJ 2 [two]
    by Kokichi Futatsugi ...
    Stanford, Calif.: CSLI, Center for the Study of Language and Information, 1985
    Buch, Gedruckte Ressource
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    An international semantics for modal logic: preliminary report
    by Ronald Fagin and Moshe Vardi
    Stanford, Calif.: CSLI, Center for the Study of Language and Information, 1985
    Buch, Gedruckte Ressource
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Querying local databases
    by Moshe Vardi
    Stanford, Calif.: CSLI, Center for the Study of Language and Information, 1985
    Buch, Gedruckte Ressource
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Deduction with many-sorted rewrite
    by José Meseguer and Joseph A. Goguen
    Stanford, Calif.: CSLI, Center for the Study of Language and Information, 1985
    Buch, Gedruckte Ressource
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Computationally relevant properties of natural languages and their grammars
    by Gerald Gazdar and Geoffrey K. Pullum
    Stanford, CA: CSLI, 1985
    Buch, Gedruckte Ressource
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    On the axiomatization of "if-then-else"
    by Irène Guessarian and José Meseguer
    Stanford, CA: CSLI, 1985
    Buch, Gedruckte Ressource
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Institutions: abstract model theory for computer science
    by J. A. Goguen and R. M. Burstall
    Stanford, Calif.: CSLI, Center for the Study of Language and Information, 1985
    Buch, Gedruckte Ressource
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Semantic automata
    by Johan van Benthem
    Stanford, CA: CSLI, 1985
    Buch, Gedruckte Ressource
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Finite state morphology: a review of Koskenniemi (1983)
    by Gerald Gazdar
    Stanford, CA: CSLI, 1985
    Buch, Gedruckte Ressource
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Possible-world semantics for autoepistemic logic
    by Robert C. Moore
    Stanford, Calif.: CSLI, Center for the Study of Language and Information, 1985
    Buch, Gedruckte Ressource
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Grammatical hierarchy and linear precedence
    by Ivan A. Sag
    Stanford, Calif.: CSLI, Center for the Study of Language and Information, 1986
    Buch, Gedruckte Ressource
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    D-PATR: a development environment for unification-based grammars
    by Lauri Karttunen
    Stanford, Calif.: CSLI, Center for the Study of Language and Information, 1986
    Buch, Gedruckte Ressource
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Radical lexicalism
    Lauri Karttunen
    Stanford, Calif.: CSLI, Center for the Study of Language and Information, 1986
    Buch, Gedruckte Ressource
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Graphs and grammars
    by William Marsh
    Stanford, Calif.: CSLI, Center for the Study of Language and Information, 1986
    Buch, Gedruckte Ressource
    Wie komme ich dran?

Öffentliche & weitere Bibliotheken

Ausgewählte Kataloge

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -