Treffer 1 - 3 von 3 für Suche 'Kagan, Elijah', Suchdauer: 0,35s Treffer weiter einschränken
  1. 1
    The Imandra Automated Reasoning System (System Description)

    The Imandra Automated Reasoning System (System Description) von Passmore, Grant, Cruanes, Simon, Ignatovich, Denis, Aitken, Dave, Bray, Matt, Kagan, Elijah, Kanishev, Kostya, Maclean, Ewen, Mometto, Nicola


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    The Imandra Automated Reasoning System (system description)

    The Imandra Automated Reasoning System (system description) von Passmore, Grant Olney, Cruanes, Simon, Ignatovich, Denis, Aitken, Dave, Bray, Matt, Kagan, Elijah, Kanishev, Kostya, Maclean, Ewen, Mometto, Nicola

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    The Imandra Automated Reasoning System (system description)

    The Imandra Automated Reasoning System (system description) von Grant Olney Passmore, Cruanes, Simon, Ignatovich, Denis, Aitken, Dave, Bray, Matt, Kagan, Elijah, Kanishev, Kostya, Maclean, Ewen, Mometto, Nicola

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: