S'abonner navigation icon
FR
navigation icon menu icon S'abonner
navigation icon Accueil navigation icon Catalogue
icon language Langues navigation icon Menu
icon close
icon arrow

Rechercher

icon searchbar

Rechercher

Catalogue

icon close
icon close
icon close
icon language

Langues

icon close
background image
button download
icon share social
Category Flexible heuristic control for combining automation and user-interaction in inductive theorem proving [Elektronische Ressource] / von Tobias Schmidt-Samoa
Lire
Lire

Flexible heuristic control for combining automation and user-interaction in inductive theorem proving [Elektronische Ressource] / von Tobias Schmidt-Samoa

  • 320

    pages

  • English

  • Documents

  • 2006

Publié par
icon arrow

  • 320

    pages

  • English

  • Documents

  • 2006

Lire
Lire
icon

Description

icon success

Ajouté à mes notifications

Vous serez informé des prochaines publications.