Thirty five years of automating mathematics:
Gespeichert in:
| Weitere beteiligte Personen: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Dordrecht [u.a.]
Kluwer
2003
|
| Schriftenreihe: | Applied logic series
28 |
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019967309&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | VIII, 318 S. Ill. |
| ISBN: | 1402016565 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV025338783 | ||
| 003 | DE-604 | ||
| 005 | 20210428 | ||
| 007 | t| | ||
| 008 | 100417s2003 xx a||| |||| 00||| eng d | ||
| 020 | |a 1402016565 |9 1-4020-1656-5 | ||
| 035 | |a (OCoLC)636673683 | ||
| 035 | |a (DE-599)BVBBV025338783 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-92 | ||
| 082 | 0 | |a 511.3 | |
| 084 | |a SG 580 |0 (DE-625)143067: |2 rvk | ||
| 084 | |a SG 590 |0 (DE-625)143069: |2 rvk | ||
| 245 | 1 | 0 | |a Thirty five years of automating mathematics |c ed. by Fairouz D. Kamareddine |
| 264 | 1 | |a Dordrecht [u.a.] |b Kluwer |c 2003 | |
| 300 | |a VIII, 318 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Applied logic series |v 28 | |
| 648 | 7 | |a Geschichte |2 gnd |9 rswk-swf | |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | 1 | |a Geschichte |A z |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Kamareddine, Fairouz D. |4 edt | |
| 830 | 0 | |a Applied logic series |v 28 |w (DE-604)BV011076498 |9 28 | |
| 856 | 4 | 2 | |m OEBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019967309&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-019967309 | |
Datensatz im Suchindex
| _version_ | 1819354139081048064 |
|---|---|
| adam_text | IMAGE 1
CONTENTS
CONTRIBUTORS VII
EDITORIAL PREFACE 1
FAIROUZ KAMAREDDINE
A MATHEMATICAL MODEL FOR BIOLOGICAL MEMORY AND 9 CONSCIOUSNESS N. G. DE
BRUIJN
TOWARDS AN INTERACTIVE MATHEMATICAL PROOF MODE 25 HENK BARENDREGT
RECENT RESULTS IN TYPE THEORY AND THEIR RELATIONSHIP TO 37 AUTOMATH
ROBERT L. CONSTABLE
LINEAR CONTEXTS, SHARING FUNCTORS: TECHNIQUES FOR 49 SYMBOLIC
CORNPUTATION GERARD HUET
DE BRUIJN S AUTOMATH AND PURE TYPE SYSTEMS 71
FAIROUZ KAMAREDDINE, TWAN LAAN AND ROB NEDERPELT
HOARE LOGIC WITH EXPLICIT CONTEXTS 125
MICHAEL FRANSSEN
TRANSITIVE CLOSURE AND THE MECHANIZATION OF MATHEMATICS 149 ARNON AVRON
POLYMORPHIC TYPE-CHECKING FOR THE RAMIFIED THEORY OF 173 TYPES OF
PRINCIPIA MATHEMATICA M. RANDALL HOLMES
TERMINATION IN ACL2 USING MULTISET RELATIONS 217
|
| any_adam_object | 1 |
| author2 | Kamareddine, Fairouz D. |
| author2_role | edt |
| author2_variant | f d k fd fdk |
| author_facet | Kamareddine, Fairouz D. |
| building | Verbundindex |
| bvnumber | BV025338783 |
| classification_rvk | SG 580 SG 590 |
| ctrlnum | (OCoLC)636673683 (DE-599)BVBBV025338783 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| era | Geschichte gnd |
| era_facet | Geschichte |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01434nam a2200385 cb4500</leader><controlfield tag="001">BV025338783</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210428 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100417s2003 xx a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1402016565</subfield><subfield code="9">1-4020-1656-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)636673683</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV025338783</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SG 580</subfield><subfield code="0">(DE-625)143067:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SG 590</subfield><subfield code="0">(DE-625)143069:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Thirty five years of automating mathematics</subfield><subfield code="c">ed. by Fairouz D. Kamareddine</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Kluwer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 318 S.</subfield><subfield code="b">Ill.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Applied logic series</subfield><subfield code="v">28</subfield></datafield><datafield tag="648" ind1=" " ind2="7"><subfield code="a">Geschichte</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Geschichte</subfield><subfield code="A">z</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kamareddine, Fairouz D.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Applied logic series</subfield><subfield code="v">28</subfield><subfield code="w">(DE-604)BV011076498</subfield><subfield code="9">28</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">OEBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019967309&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-019967309</subfield></datafield></record></collection> |
| id | DE-604.BV025338783 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T14:26:02Z |
| institution | BVB |
| isbn | 1402016565 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-019967309 |
| oclc_num | 636673683 |
| open_access_boolean | |
| owner | DE-11 DE-92 |
| owner_facet | DE-11 DE-92 |
| physical | VIII, 318 S. Ill. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Kluwer |
| record_format | marc |
| series | Applied logic series |
| series2 | Applied logic series |
| spellingShingle | Thirty five years of automating mathematics Applied logic series Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| subject_GND | (DE-588)4069034-9 |
| title | Thirty five years of automating mathematics |
| title_auth | Thirty five years of automating mathematics |
| title_exact_search | Thirty five years of automating mathematics |
| title_full | Thirty five years of automating mathematics ed. by Fairouz D. Kamareddine |
| title_fullStr | Thirty five years of automating mathematics ed. by Fairouz D. Kamareddine |
| title_full_unstemmed | Thirty five years of automating mathematics ed. by Fairouz D. Kamareddine |
| title_short | Thirty five years of automating mathematics |
| title_sort | thirty five years of automating mathematics |
| topic | Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| topic_facet | Automatisches Beweisverfahren |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019967309&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV011076498 |
| work_keys_str_mv | AT kamareddinefairouzd thirtyfiveyearsofautomatingmathematics |