The little prover /

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Friedman, Daniel P. (Auteur), Eastlund, Carl (Auteur)
Autres auteurs:	Bibby, Duane (Illustrateur), Moore, J. Strother (Auteur de l'introduction, etc.), Felleisen, Matthias (Auteur de la postface, de l'achevé d'imprimer, etc.)
Format:	Électronique eBook
Langue:	anglais
Publié:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
Sujets:	Automatic theorem proving. LISP (Computer program language) Electronic books.
Accès en ligne:	An electronic book accessible through the World Wide Web; click to view
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Description
Description matérielle:	1 online resource (244 pages) : illustrations
Bibliographie:	Includes bibliographical references and index.
ISBN:	9780262330565 (e-book)

Documents similaires