Suchergebnisse - Hermenegildo, Manuel V.

  • Treffer 1 – 8 von 8
Treffer filtern
  1. 1
    Buchumschlag

    Independent AND-parallel narrowing
    von Kuchen, Herbert, Moreno-Navarro, Juan J., Hermenegildo, Manuel V.

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Technical Communications of the 26th International Conference on Logic Programming (ICLP'10): ICLP’10, July 16–19, 2010, Edinburgh, UK

    Veröffentlicht 2010
    Weitere beteiligte Personen: “… Hermenegildo, Manuel V. …”
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Logic-based program synthesis and transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Hermenegildo, Manuel V. …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Static analysis: 30th international symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Hermenegildo, Manuel V. …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Prolog: The Next 50 Years

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Hermenegildo, Manuel V. …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Static analysis: 30th international symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Hermenegildo, Manuel V. …”
    Tagungsbericht Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Logic-based program synthesis and transformation: 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Hermenegildo, Manuel V. …”
    Tagungsbericht Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Prolog: the next 50 years

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Hermenegildo, Manuel V. …”
    Buch


    Gespeichert in:

Suchwerkzeuge: