The little prover:
Saved in:
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge, Massachusetts ; London, [England]
The MIT Press
2015
|
| Subjects: | |
| Item Description: | Description based on print version record |
| Physical Description: | 1 online resource (244 pages) illustrations |
| ISBN: | 9780262527958 9780262330565 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044057718 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170217s2015 xx a||| o|||| 00||| eng d | ||
| 020 | |a 9780262527958 |c Print |9 978-0-262-52795-8 | ||
| 020 | |a 9780262330565 |c ebook |9 978-0-262-33056-5 | ||
| 035 | |a (ZDB-30-PAD)EBC3433792 | ||
| 035 | |a (ZDB-89-EBL)EBL3433792 | ||
| 035 | |a (ZDB-38-EBR)ebr11080237 | ||
| 035 | |a (OCoLC)914255579 | ||
| 035 | |a (DE-599)BVBBV044057718 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 511.3/6028563 |2 23 | |
| 100 | 1 | |a Friedman, Daniel P. |4 aut | |
| 245 | 1 | 0 | |a The little prover |c Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen |
| 264 | 1 | |a Cambridge, Massachusetts ; London, [England] |b The MIT Press |c 2015 | |
| 264 | 4 | |c © 2015 | |
| 300 | |a 1 online resource (244 pages) |b illustrations | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Description based on print version record | ||
| 650 | 4 | |a Automatic theorem proving | |
| 650 | 4 | |a LISP (Computer program language) | |
| 700 | 1 | |a Eastlund, Carl |4 aut | |
| 700 | 1 | |a Bibby, Duane |4 ill | |
| 700 | 1 | |a Moore, J. Strother |4 aut | |
| 700 | 1 | |a Felleisen, Matthias |4 aut of afterword, colophon, etc | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a Friedman, Daniel P |t . Little prover |
| 912 | |a ZDB-30-PAD | ||
| 912 | |a ZDB-30-PQE | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029464563 | |
Record in the Search Index
| _version_ | 1818982775918690304 |
|---|---|
| any_adam_object | |
| author | Friedman, Daniel P. Eastlund, Carl Moore, J. Strother |
| author2 | Bibby, Duane |
| author2_role | ill |
| author2_variant | d b db |
| author_facet | Friedman, Daniel P. Eastlund, Carl Moore, J. Strother Bibby, Duane |
| author_role | aut aut aut |
| author_sort | Friedman, Daniel P. |
| author_variant | d p f dp dpf c e ce j s m js jsm |
| building | Verbundindex |
| bvnumber | BV044057718 |
| collection | ZDB-30-PAD ZDB-30-PQE |
| ctrlnum | (ZDB-30-PAD)EBC3433792 (ZDB-89-EBL)EBL3433792 (ZDB-38-EBR)ebr11080237 (OCoLC)914255579 (DE-599)BVBBV044057718 |
| dewey-full | 511.3/6028563 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/6028563 |
| dewey-search | 511.3/6028563 |
| dewey-sort | 3511.3 76028563 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01556nam a2200433zc 4500</leader><controlfield tag="001">BV044057718</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170217s2015 xx a||| o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262527958</subfield><subfield code="c">Print</subfield><subfield code="9">978-0-262-52795-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262330565</subfield><subfield code="c">ebook</subfield><subfield code="9">978-0-262-33056-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-30-PAD)EBC3433792</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-89-EBL)EBL3433792</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-38-EBR)ebr11080237</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)914255579</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044057718</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/6028563</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Friedman, Daniel P.</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The little prover</subfield><subfield code="c">Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Massachusetts ; London, [England]</subfield><subfield code="b">The MIT Press</subfield><subfield code="c">2015</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (244 pages)</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Description based on print version record</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic theorem proving</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">LISP (Computer program language)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Eastlund, Carl</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bibby, Duane</subfield><subfield code="4">ill</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Moore, J. Strother</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Felleisen, Matthias</subfield><subfield code="4">aut of afterword, colophon, etc</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="a">Friedman, Daniel P</subfield><subfield code="t">. Little prover</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-PAD</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-PQE</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029464563</subfield></datafield></record></collection> |
| id | DE-604.BV044057718 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T17:52:35Z |
| institution | BVB |
| isbn | 9780262527958 9780262330565 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029464563 |
| oclc_num | 914255579 |
| open_access_boolean | |
| physical | 1 online resource (244 pages) illustrations |
| psigel | ZDB-30-PAD ZDB-30-PQE |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | The MIT Press |
| record_format | marc |
| spelling | Friedman, Daniel P. aut The little prover Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen Cambridge, Massachusetts ; London, [England] The MIT Press 2015 © 2015 1 online resource (244 pages) illustrations txt rdacontent c rdamedia cr rdacarrier Description based on print version record Automatic theorem proving LISP (Computer program language) Eastlund, Carl aut Bibby, Duane ill Moore, J. Strother aut Felleisen, Matthias aut of afterword, colophon, etc Erscheint auch als Druck-Ausgabe Friedman, Daniel P . Little prover |
| spellingShingle | Friedman, Daniel P. Eastlund, Carl Moore, J. Strother The little prover Automatic theorem proving LISP (Computer program language) |
| title | The little prover |
| title_auth | The little prover |
| title_exact_search | The little prover |
| title_full | The little prover Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen |
| title_fullStr | The little prover Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen |
| title_full_unstemmed | The little prover Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen |
| title_short | The little prover |
| title_sort | the little prover |
| topic | Automatic theorem proving LISP (Computer program language) |
| topic_facet | Automatic theorem proving LISP (Computer program language) |
| work_keys_str_mv | AT friedmandanielp thelittleprover AT eastlundcarl thelittleprover AT bibbyduane thelittleprover AT moorejstrother thelittleprover AT felleisenmatthias thelittleprover |