RESIDUE: a Deductive Approach to Design Synthesis

RESIDUE: a Deductive Approach to Design Synthesis

Auteur : J. J. Finger, Michael R. Genesereth

Date de publication : 1985

Éditeur : Computer Science Department, Stanford University

Nombre de pages : 17

Résumé du livre

Aucun résumé disponible pour ce livre.

Connexion / Inscription

Saisissez votre e-mail pour vous connecter ou créer un compte

Connexion

Inscription

Mot de passe oublié ?

Nous allons vous envoyer un message pour vous permettre de vous connecter.