Vladimir Lifschitz

Vladimir A. Lifschitz, , Transkription ''Wladimir Lifschitz'', (* 30. Mai 1947 in Moskau) ist ein russisch-US-amerikanischer Mathematiker, Logiker und Informatiker. Veröffentlicht in Wikipedia
Treffer 1 - 18 von 18 für Suche 'Lifschitz, Vladimir', Suchdauer: 0,47s Treffer weiter einschränken
  1. 1
    Answer set programming
    von Lifschitz, Vladimir
    Veröffentlicht 2019
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Transforming Gringo Rules into Formulas in a Natural Way
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Mechanical Theorem Proving in the USSR : the Leningrad school
    von Lifschitz, Vladimir
    Veröffentlicht 1986
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy
    Veröffentlicht 1991
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    On Heuer’s Procedure for Verifying Strong Equivalence
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy
    Veröffentlicht 1991
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Correct reasoning : essays on logic-based AI in honour of Vladimir Lifschitz
    Veröffentlicht 2012
    Inhaltsverzeichnis
    Inhaltstext
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy
    Veröffentlicht 1991
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Formalizing common sense
    von MacCarthy, John
    Veröffentlicht 1990
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Formalizing common sense
    von McCarthy, John
    Veröffentlicht 1990
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy
    Veröffentlicht 1991
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Formalizing common sense : papers
    von McCarthy, John
    Veröffentlicht 1990
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6 - 8, 2004 ; proceedings
    Veröffentlicht 2004
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Logic programming and nonmonotonic reasoning : 7th international conference ; proceedings
    Veröffentlicht 2004
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Handbook of knowledge representation
    Veröffentlicht 2008
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Logic programming : 20th international conference, ICLP 2004, Saint-Malo, France, September 6 - 10, 2004 ; proceedings
    Veröffentlicht 2004
    Cover
    Einführung/Vorwort
    Inhaltsverzeichnis
    Inhaltstext
    Volltext
    Unedited summary from book
    Publisher description
    Volltext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Logic programming and nonmonotonic reasoning : 7th International Conference, Fort Lauderdale, FL, USA, January 6 - 8, 2004, proceedings
    Veröffentlicht 2004
    Cover
    Inhaltstext
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Readings in nonmonotonic reasoning
    Veröffentlicht 1987
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: