Higher Order Logic Theorem Proving and Its Applications

Higher Order Logic Theorem Proving and Its Applications

Auteur : Auteur inconnu

Date de publication : 1995

Éditeur : Springer

Nombre de pages : 400

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.