Treffer 1 - 20 von 21 für Suche 'Antoniou, Grigoris 1961-', Suchdauer: 0,17s Treffer weiter einschränken
  1. 1
    A Semantic Web primer

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

    Veröffentlicht 2008
    Table of contents only
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    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

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Modulare Programme und ihre Verifikation

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

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Modules in computer science and artificial intelligence

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

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Knowledge-based systems the logic programming approach

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

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    LOGIC a foundation for computer science

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

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    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

    Zu den Favoriten
    Gespeichert in:
  8. 8
    A semantic web primer

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

    Veröffentlicht 2004
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Nonmonotonic reasoning

    Nonmonotonic reasoning von Antoniou, Grigoris 1961-

    Veröffentlicht 1997
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Knowledge-based systems the logic programming approach

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

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    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

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Modules in computer science and artificial intelligence

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

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    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

    Zu den Favoriten
    Gespeichert in:
  14. 14
    On the verification on modules

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

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    On the verification of modules

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

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Über die Verifikation modularer Programme

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

    Veröffentlicht 1989
    Abschlussarbeit Mikrofilm Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Modulare Programme und ihre Verifikation

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

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    TURBO-PROLOG

    TURBO-PROLOG von Antoniou, Grigoris 1961-

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Turbo Prolog

    Turbo Prolog von Antoniou, Grigoris 1961-

    Veröffentlicht 1987
    Buch

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

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

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: