Treffer 1 – 20 von 21 für Suche 'Antoniou, Grigoris 1961-', Suchdauer: 0,04s 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
    A Semantic Web primer

    A Semantic Web primer von Antoniou, Grigoris 1961-, Harmelen, Frank van

    Veröffentlicht 2008
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  2. 2
    On the definition and verification of modular software systems

    On the definition and verification of modular software systems von Antoniou, Grigoris 1961-, Sperschneider, Volker

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Modulare Programme und ihre Verifikation

    Modulare Programme und ihre Verifikation von Antoniou, Grigoris 1961-, Sperschneider, Volker

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    LOGIC a foundation for computer science

    LOGIC a foundation for computer science von Sperschneider, Volker 1952-, Antoniou, Grigoris 1961-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Modules in computer science and artificial intelligence

    Modules in computer science and artificial intelligence von Antoniou, Grigoris 1961-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Knowledge-based systems the logic programming approach

    Knowledge-based systems the logic programming approach von Antoniou, Grigoris 1961-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    A Horn logic approach to modularity in knowledge based systems

    A Horn logic approach to modularity in knowledge based systems von Antoniou, Grigoris 1961-, Sperschneider, Volker

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    A semantic web primer

    A semantic web primer von Antoniou, Grigoris 1961-, Harmelen, Frank van

    Veröffentlicht 2004
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Nonmonotonic reasoning

    Nonmonotonic reasoning von Antoniou, Grigoris 1961-

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    A horn logic approach to modularity in knowledge based systems

    A horn logic approach to modularity in knowledge based systems von Antoniou, Grigoris 1961-, Sperschneider, Volker

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Modules in computer science and artificial intelligence

    Modules in computer science and artificial intelligence von Antoniou, Grigoris 1961-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Knowledge-based systems the logic programming approach

    Knowledge-based systems the logic programming approach von Antoniou, Grigoris 1961-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Knowledge-based systems the logic programming approach

    Knowledge-based systems the logic programming approach von Antoniou, Grigoris 1961-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Über die Verifikation modularer Programme

    Über die Verifikation modularer Programme von Antoniou, Grigoris 1961-

    Veröffentlicht 1989
    Abschlussarbeit Mikrofilm Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    On the verification on modules

    On the verification on modules von Antoniou, Grigoris 1961-, Sperschneider, Volker

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    On the verification of modules

    On the verification of modules von Antoniou, Grigoris 1961-, Sperschneider, Volker

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Modulare Programme und ihre Verifikation

    Modulare Programme und ihre Verifikation von Antoniou, Grigoris 1961-, Sperschneider, Volker

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Turbo Prolog

    Turbo Prolog von Antoniou, Grigoris 1961-

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    TURBO-PROLOG

    TURBO-PROLOG von Antoniou, Grigoris 1961-

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Incompleteness of HOARE's calculus over simple datastructures

    Incompleteness of HOARE's calculus over simple datastructures von Antoniou, Grigoris 1961-

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: