0
*
0
*
1450
2025
book-filter
Author main photo

    FroCoS 2002 (2002 Santa Margherita Ligure, Italy)

    0

    0 ratings · 1 works

    Top subjects

    • Entscheidungsproblem
    • Deduktionssystem
    • Constraint
    • Congresses
    • Congres
    • Computeralgebra
    • Computer science
    • Combinatieleer
    • Automatisches Beweisverfahren
    • Artificial intelligence
    Already read

    0

    people already read

    Currently reading

    0

    people are currently reading

    Want to read

    0

    people want to read

    Provided links

      Other links

      Goodreads

      https://www.goodreads.com/author/show/undefined

      Librarything

      https://www.librarything.com/work/undefined

      Wikidata

      https://www.wikidata.org/wiki/undefined

      Virtual International Authority File

      https://viaf.org/viaf/undefined

      Amazon

      https://www.amazon.com/~/e/undefined

      Popular works

      • Work cover

        0 ratings

        0

        Already read

        0

        Currently reading

        0

        Want to read

        0

      • See more