Treffer 1 - 20 von 110 für Suche 'Gabbay, Dov M.', Suchdauer: 0,81s Treffer weiter einschränken
  1. 1
    A new perspective on nonmonotonic logics

    A new perspective on nonmonotonic logics von Gabbay, Dov M. 1945-, Schlechta, Karl 1948-

    Veröffentlicht 2016
    BTU01
    FHA01
    FHI01
    FHM01
    FHN01
    FHR01
    FKE01
    FRO01
    HTW01
    UBG01
    UBM01
    UBR01
    UBT01
    UBW01
    UER01
    UPA01
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Revision, acceptability and context theoretical and algorithmic aspects

    Revision, acceptability and context theoretical and algorithmic aspects von Gabbay, Dov M. 1945-, Rodrigues, Odinaldo T., Russo, Alexandra

    Veröffentlicht 2010
    Inhaltsverzeichnis
    Inhaltstext
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Logical tools for handling change in agent-based systems

    Logical tools for handling change in agent-based systems von Gabbay, Dov M.

    Veröffentlicht 2010
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Revision, acceptability and context theoretical and algorithmic aspects

    Revision, acceptability and context theoretical and algorithmic aspects von Gabbay, Dov M. 1945-, Rodrigues, Odinaldo T., Russo, Alexandra

    Veröffentlicht 2010
    BTU01
    FHM01
    UBG01
    UBT01
    UBW01
    UBY01
    UPA01
    Volltext
    Inhaltsverzeichnis
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Proof Theory for Fuzzy Logics

    Proof Theory for Fuzzy Logics von Metcalfe, George, Olivetti, Nicola, Gabbay, Dov M. 1945-

    Veröffentlicht 2009
    DE-634
    DE-739
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Quantification in nonclassical logic

    Quantification in nonclassical logic von Gabbay, Dov M. 1945-

    Veröffentlicht 2009
    FUBA1
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  7. 7
    The reach of abduction insight and trial

    The reach of abduction insight and trial von Gabbay, Dov M. 1945-, Woods, John

    Veröffentlicht 2005
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    The reach of abduction insight and trial

    The reach of abduction insight and trial von Gabbay, Dov M.

    Veröffentlicht 2005
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Agenda relevance a study in formal pragmatics

    Agenda relevance a study in formal pragmatics von Gabbay, Dov M. 1945-

    Veröffentlicht 2003
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Dynamic syntax the flow of language understanding

    Dynamic syntax the flow of language understanding von Kempson, Ruth M. 1944-, Meyer-Viol, Wilfried, Gabbay, Dov M. 1945-

    Veröffentlicht 2000
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Goal-directed proof theory

    Goal-directed proof theory von Gabbay, Dov M. 1945-, Olivetti, Nicola

    Veröffentlicht 2000
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Labelled deductive systems

    Labelled deductive systems von Gabbay, Dov M. 1945-

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    What is negation in a system?

    What is negation in a system? von Gabbay, Dov M. 1945-, Wansing, Heinrich T.

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Fibred semantics and the weaving of logics

    Fibred semantics and the weaving of logics von Gabbay, Dov M. 1945-

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Temporal logic mathematical foundations

    Temporal logic mathematical foundations von Gabbay, Dov M. 1945-

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Elements of algorithmic proof

    Elements of algorithmic proof von Gabbay, Dov M. 1945-

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Labelled deductive systems

    Labelled deductive systems von Gabbay, Dov M. 1945-

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Semantical investigations in Heyting's intuitionistic logic

    Semantical investigations in Heyting's intuitionistic logic von Gabbay, Dov M. 1945-

    Veröffentlicht 1981
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Practical logic of cognitive systems

    Practical logic of cognitive systems von Gabbay, Dov M. 1945-, Woods, John

    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Conditionals and Modularity in General Logics

    Conditionals and Modularity in General Logics von Gabbay, Dov M. 1945-, Schlechta, Karl 1948-

    Veröffentlicht 2011
    BTU01
    FHA01
    FHM01
    FHN01
    FKE01
    UBA01
    UBG01
    UBM01
    UBR01
    UBT01
    UBW01
    UBY01
    UPA01
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: