Treffer 1 - 2 von 2 für Suche 'CADE (International Conference on Automated Deduction) Lindau (Bodensee)', Suchdauer: 0,88s Treffer weiter einschränken
  1. 1
    Automated deduction - CADE-15 15th International Conference on Automated Deduction, Lindau, Germany, July 5 - 10, 1998 ; proceedings

    Automated deduction - CADE-15 15th International Conference on Automated Deduction, Lindau, Germany, July 5 - 10, 1998 ; proceedings

    Veröffentlicht 1998
    “… CADE (International Conference on Automated Deduction) Lindau (Bodensee) …”
    Inhaltsverzeichnis
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Automated deduction - CADE-15 15th International Conference on Automated Deduction, Lindau, Germany, July 5 - 10, 1998 ; proceedings

    Automated deduction - CADE-15 15th International Conference on Automated Deduction, Lindau, Germany, July 5 - 10, 1998 ; proceedings

    Veröffentlicht 1998
    “… CADE (International Conference on Automated Deduction) Lindau (Bodensee) …”
    DE-91
    DE-384
    DE-19
    DE-739
    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: