Fachgebiet
Medium
  • 2
  • 2
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 2
  • 2
  • 1
  • 2
  • 2
Verlag
  • 2
  • 2
Preis
  • 4
Sprachen
  • 4
Verfügbarkeit
  • 4
Katalog
  • 4
4  Treffer  für „McAllester, David“


    McAllester Automated Deduction - CADE-17

    17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67664-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    McAllester Automated Deduction - CADE-17

    17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
    2000
    Verlag: Springer
    ISBN: 978-3-540-45101-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Ganzinger / McAllester / Voronkov Logic Programming and Automated Reasoning

    6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings
    1999
    Verlag: Springer
    ISBN: 978-3-540-48242-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Ganzinger / Voronkov / McAllester Logic Programming and Automated Reasoning

    6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66492-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular