Treffer 1 – 20 von 21 für Suche 'Areces, Carlos', Suchdauer: 0,08s 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 computational complexity of hybrid temporal logics

    The computational complexity of hybrid temporal logics von Areces, Carlos, Blackburn, Patrick 1959-, Marx, Maarten

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Repairing the interpolation theorem in quantified modal logic

    Repairing the interpolation theorem in quantified modal logic von Areces, Carlos, Blackburn, Patrick 1959-, Marx, Maarten

    Veröffentlicht 2001
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Failure of interpolation in combined modal logics

    Failure of interpolation in combined modal logics von Marx, Maarten, Areces, Carlos

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Decomposing modal logic

    Decomposing modal logic von Areces, Carlos

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Resolution in modal, description and hybrid logic

    Resolution in modal, description and hybrid logic von Areces, Carlos

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    HyLoRes a hybrid logic prover based on direct resolution

    HyLoRes a hybrid logic prover based on direct resolution von Areces, Carlos, Heguiabehere, Juan

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Analyzing the core of categorial grammar

    Analyzing the core of categorial grammar von Areces, Carlos, Bernardi, Raffaella

    Veröffentlicht 2001
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Hybrid logics characterization, interpolation and complexity

    Hybrid logics characterization, interpolation and complexity von Areces, Carlos, Blackburn, Patrick 1959-, Marx, Maarten

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Prefixed resolution a resolution method for modal and description logics

    Prefixed resolution a resolution method for modal and description logics von Areces, Carlos, Nivelle, Hans de 1967-, Rijke, Maarten de

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Iterable AGM functions

    Iterable AGM functions von Areces, Carlos, Becher, Verónica

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Dynamic logic new trends and applications : 4th international workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, revised selected papers

    Dynamic logic new trends and applications : 4th international workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, revised selected papers

    Veröffentlicht 2023
    Weitere Verfasser: “… Areces, Carlos …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  12. 12
    Dynamic logic new trends and applications : 4th international workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022 : revised selected papers

    Dynamic logic new trends and applications : 4th international workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022 : revised selected papers

    Veröffentlicht 2023
    Weitere Verfasser: “… Areces, Carlos …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Torrente 4

    Torrente 4

    Veröffentlicht 2013
    Weitere Verfasser:
    Video Software Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Negociador

    Negociador

    Veröffentlicht 2015
    Weitere Verfasser:
    Video Software Fernleihe Bestellen


    Gespeichert in:
  15. 15
    El inconveniente la vida es lo que te pasa mientras haces otros planes

    El inconveniente la vida es lo que te pasa mientras haces otros planes

    Veröffentlicht 2021
    Weitere Verfasser:
    Video Software Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Vier Wände für Zwei

    Vier Wände für Zwei

    Veröffentlicht 2022
    Weitere Verfasser:
    Video Software Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Mad Circus - Eine Ballade von Liebe und Tod

    Mad Circus - Eine Ballade von Liebe und Tod

    Veröffentlicht 2012
    Weitere Verfasser:
    Video Software Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Mad Circus - Eine Ballade von Liebe und Tod

    Mad Circus - Eine Ballade von Liebe und Tod

    Veröffentlicht 2012
    Weitere Verfasser:
    Video Software Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Anacleto agente secreto

    Anacleto agente secreto

    Veröffentlicht 2015
    Weitere Verfasser:
    Video Software Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Mad Circus eine Ballade von Liebe und Tod

    Mad Circus eine Ballade von Liebe und Tod von Baños, Roque 1968-, Torre, Antonio de la 1968-

    Veröffentlicht 2012
    Weitere Verfasser:
    Video Software Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: