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

Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

320 pages

English

Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

Sujets

Informations

Publié par	technische_universitat_kaiserslautern
Publié le	01 janvier 2006
Nombre de lectures	20
Langue	English
Poids de l'ouvrage	2 Mo

Extrait