Treffer 1 – 20 von 108 für Suche 'Gabbay, Dov M. 1945-', Suchdauer: 0,15s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    The functional interpretation of logical deduction /

    The functional interpretation of logical deduction / von Queiroz, Ruy J. G. B. de

    Veröffentlicht 2012
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London /

    Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London /

    Veröffentlicht 2007
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Handbook of logic in computer science.

    Handbook of logic in computer science.

    Veröffentlicht 2000
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Handbook of logic in artificial intelligence and logic programming.

    Handbook of logic in artificial intelligence and logic programming.

    Veröffentlicht 1998
    Weitere Verfasser: “… Gabbay, Dov M., 1945- …”
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    A new perspective on nonmonotonic logics

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

    Veröffentlicht 2016
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  6. 6
    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
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  7. 7
    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
    Beschreibung
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Proof Theory for Fuzzy Logics

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

    Veröffentlicht 2009
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Quantification in nonclassical logic

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

    Veröffentlicht 2009
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  10. 10
    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 Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Agenda relevance a study in formal pragmatics

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

    Veröffentlicht 2003
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Goal-directed proof theory

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

    Veröffentlicht 2000
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    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 Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Labelled deductive systems

    Labelled deductive systems von Gabbay, Dov M. 1945-

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    What is negation in a system?

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Fibred semantics and the weaving of logics

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Temporal logic mathematical foundations

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Elements of algorithmic proof

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Labelled deductive systems

    Labelled deductive systems von Gabbay, Dov M. 1945-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Semantical investigations in Heyting's intuitionistic logic

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

    Veröffentlicht 1981
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: