Ähnliche Schlagwörter innerhalb Ihrer Suche.
Treffer 1 - 20 von 80 für Suche '"Applied Logic Series"', Suchdauer: 2,93s Treffer weiter einschränken
  1. 1
    Proof Theory for Fuzzy Logics

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

    Veröffentlicht 2009
    “… Applied Logic Series …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Reasoning robots the art and science of programming robotic agents

    Reasoning robots the art and science of programming robotic agents

    Veröffentlicht 2005
    “… Applied logic series …”
    BTU01
    TUM01
    UBA01
    UBG01
    UBR01
    UBT01
    UPA01
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A modern perspective on type theory from its origins until today

    A modern perspective on type theory from its origins until today von Kamareddine, Fairouz, Laan, Twan 1970-, Nederpelt, Rob 1942-

    Veröffentlicht 2004
    “… Applied logic series …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Logical and computational aspects of model-based reasoning

    Logical and computational aspects of model-based reasoning

    Veröffentlicht 2002
    “… Applied logic series …”
    Publisher description
    Table of contents only
    Inhaltsverzeichnis
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    The semantics and proof theory of the logic of bunched implications

    The semantics and proof theory of the logic of bunched implications von Pym, David J.

    Veröffentlicht 2002
    “… Applied logic series …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Logical and Computational Aspects of Model-Based Reasoning

    Logical and Computational Aspects of Model-Based Reasoning

    Veröffentlicht 2002
    “… Applied Logic Series …”

    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Fuzzy sets, logics, and reasoning about knowledge

    Fuzzy sets, logics, and reasoning about knowledge

    Veröffentlicht 1999
    “… Applied logic series …”
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Automated deduction a basis for applications

    Automated deduction a basis for applications

    Veröffentlicht 1998
    “… Applied logic series …”
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Logic, language and computation

    Logic, language and computation

    Veröffentlicht 1997
    “… Applied logic series …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Advances in intensional logic

    Advances in intensional logic

    Veröffentlicht 1997
    “… Applied logic series …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Proof theory of modal logic

    Proof theory of modal logic

    Veröffentlicht 1996
    “… Applied logic series …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Hybrid Logic and its Proof-Theory

    Hybrid Logic and its Proof-Theory von Braüner, Torben

    Veröffentlicht 2011
    “… Applied Logic Series …”
    Inhaltstext
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Rigid flexibility the logic of intelligence

    Rigid flexibility the logic of intelligence von Wang, Pei

    Veröffentlicht 2011
    “… Applied Logic Series …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Analysis and synthesis of logics how to cut and paste reasoning systems

    Analysis and synthesis of logics how to cut and paste reasoning systems von Carnielli, Walter Alexandre 1952-, Coniglio, Marcelo Esteban, Gabbay, Dov M. 1945-, Gouveia, Paula, Sernadas, Cristina

    Veröffentlicht 2008
    “… Applied logic series …”
    BTU01
    TUM01
    UBA01
    UBT01
    UER01
    UPA01
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Rigid Flexibility The Logic of Intelligence

    Rigid Flexibility The Logic of Intelligence

    Veröffentlicht 2006
    “… Applied Logic Series …”
    BTU01
    FHM01
    UBG01
    UBR01
    UBY01
    UPA01
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  16. 16
    A modern perspective on type theory from its origins until today

    A modern perspective on type theory from its origins until today

    Veröffentlicht 2005
    “… Applied logic series …”
    BTU01
    TUM01
    UBA01
    UBR01
    UBT01
    UPA01
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Automated model building

    Automated model building von Caferra, Ricardo 1945-, Leitsch, Alexander, Peltier, Nicholas

    Veröffentlicht 2004
    “… Applied logic series …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Thirty five years of automating mathematics

    Thirty five years of automating mathematics

    Veröffentlicht 2003
    “… Applied logic series …”
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    An introduction to mathematical logic and type theory to truth through proof

    An introduction to mathematical logic and type theory to truth through proof von Andrews, Peter Bruce

    Veröffentlicht 2002
    “… Applied logic series …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    The Semantics and Proof Theory of the Logic of Bunched Implications

    The Semantics and Proof Theory of the Logic of Bunched Implications von Pym, David J.

    Veröffentlicht 2002
    “… Applied Logic Series …”

    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: