Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Back to Search Results
     
Available items only
Previous Record Next Record
E-Book/E-Doc
Author Friedman, Daniel P., author.

Title The little prover / Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen.

Publication Info. Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
2015
Connect to
Available to Pittsburg State University patrons only.

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Description 1 online resource (244 pages) : illustrations
text rdacontent
computer rdamedia
online resource rdacarrier
Bibliography Includes bibliographical references and index.
Note Description based on print version record.
Subject Automatic theorem proving.
LISP (Computer program language)
Genre/Form Electronic books.
Added Author Eastlund, Carl, author.
Bibby, Duane, illustrator.
Moore, J. Strother, author of introduction, etc.
Felleisen, Matthias, author of afterword, colophon, etc.
Other Form: Print version: Friedman, Daniel P. Little prover. Cambridge, Massachusetts ; London, [England] : The MIT Press, c2015 xiii, 229 pages 9780262527958 2015001271
ISBN 9780262527958
9780262330565 (electronic bk.)

 
    
Available items only