IRMA - Zur Komplexitaet von Entscheidungsalgorithmen, die auf dem Herbrand'schen Satz und regulaerer Resolution beruhen

Bibliothèques de mathématique et de l'IREM

Date de parution : 1981

Nbre/N° de page : 112

Inventaire : 20266

Nbre d'exemplaires : 1

N°	Inventaire	Code barre	Localisation
1	20266	1023116	RESERVE [non empruntable]

Type de doc : TD

Ville d'édition : Zürich

Pays d'édition : ch

Langue ouvrage : ger

Ville de soutenance : Zürich

Année de soutenance : 1981

Z