Automated mathematical induction:
Three years ago, the interested researchers in the field formed two consortia on automated inductive reasoning - the Mind consortium in Europe and the IndUS consortium in the United States. The two consortia organized three joint workshops in 1992-1995. There will be another one in 1996. Following t...
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Dordrecht [u.a.]
Kluwer
1996
|
| Schlagworte: | |
| Zusammenfassung: | Three years ago, the interested researchers in the field formed two consortia on automated inductive reasoning - the Mind consortium in Europe and the IndUS consortium in the United States. The two consortia organized three joint workshops in 1992-1995. There will be another one in 1996. Following the suggestions of Alan Bundy and Deepak Kapur, this book documents advances in understanding of the field and in the power of the theorem provers that can be built. |
| Beschreibung: | Aus: Journal of automated reasoning ; 16,1/2 |
| Beschreibung: | 222 S. |
| ISBN: | 0792340108 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011171428 | ||
| 003 | DE-604 | ||
| 005 | 19970626 | ||
| 007 | t | ||
| 008 | 970129s1996 ne |||| 00||| engod | ||
| 020 | |a 0792340108 |9 0-7923-4010-8 | ||
| 035 | |a (OCoLC)34675813 | ||
| 035 | |a (DE-599)BVBBV011171428 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a ne |c XA-NL | ||
| 049 | |a DE-91G |a DE-19 |a DE-521 | ||
| 050 | 0 | |a QA76.9.A96A86 1996 | |
| 082 | 0 | |a 511/.22 20 | |
| 082 | 0 | |a 511/.22 |2 20 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Automated mathematical induction |c ed. by H. Zhang |
| 264 | 1 | |a Dordrecht [u.a.] |b Kluwer |c 1996 | |
| 300 | |a 222 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Aus: Journal of automated reasoning ; 16,1/2 | ||
| 520 | 3 | |a Three years ago, the interested researchers in the field formed two consortia on automated inductive reasoning - the Mind consortium in Europe and the IndUS consortium in the United States. The two consortia organized three joint workshops in 1992-1995. There will be another one in 1996. Following the suggestions of Alan Bundy and Deepak Kapur, this book documents advances in understanding of the field and in the power of the theorem provers that can be built. | |
| 650 | 4 | |a Induction | |
| 650 | 7 | |a Inteligencia artificial |2 larpcal | |
| 650 | 4 | |a Automatic theorem proving | |
| 650 | 4 | |a Induction (Mathematics) | |
| 700 | 1 | |a Zhang, Hantao |e Sonstige |4 oth | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007489834 | ||
Datensatz im Suchindex
| _version_ | 1804125665956462592 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV011171428 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.A96A86 1996 |
| callnumber-search | QA76.9.A96A86 1996 |
| callnumber-sort | QA 276.9 A96 A86 41996 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)34675813 (DE-599)BVBBV011171428 |
| dewey-full | 511/.2220 511/.22 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511/.22 20 511/.22 |
| dewey-search | 511/.22 20 511/.22 |
| dewey-sort | 3511 222 220 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01588nam a2200397 c 4500</leader><controlfield tag="001">BV011171428</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970626 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">970129s1996 ne |||| 00||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792340108</subfield><subfield code="9">0-7923-4010-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34675813</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011171428</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">ne</subfield><subfield code="c">XA-NL</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-521</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.A96A86 1996</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.22 20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.22</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automated mathematical induction</subfield><subfield code="c">ed. by H. Zhang</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Kluwer</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">222 S.</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="500" ind1=" " ind2=" "><subfield code="a">Aus: Journal of automated reasoning ; 16,1/2</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Three years ago, the interested researchers in the field formed two consortia on automated inductive reasoning - the Mind consortium in Europe and the IndUS consortium in the United States. The two consortia organized three joint workshops in 1992-1995. There will be another one in 1996. Following the suggestions of Alan Bundy and Deepak Kapur, this book documents advances in understanding of the field and in the power of the theorem provers that can be built.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Induction</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Inteligencia artificial</subfield><subfield code="2">larpcal</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">Induction (Mathematics)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zhang, Hantao</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007489834</subfield></datafield></record></collection> |
| id | DE-604.BV011171428 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:05:11Z |
| institution | BVB |
| isbn | 0792340108 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007489834 |
| oclc_num | 34675813 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-521 |
| owner_facet | DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-521 |
| physical | 222 S. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Kluwer |
| record_format | marc |
| spelling | Automated mathematical induction ed. by H. Zhang Dordrecht [u.a.] Kluwer 1996 222 S. txt rdacontent n rdamedia nc rdacarrier Aus: Journal of automated reasoning ; 16,1/2 Three years ago, the interested researchers in the field formed two consortia on automated inductive reasoning - the Mind consortium in Europe and the IndUS consortium in the United States. The two consortia organized three joint workshops in 1992-1995. There will be another one in 1996. Following the suggestions of Alan Bundy and Deepak Kapur, this book documents advances in understanding of the field and in the power of the theorem provers that can be built. Induction Inteligencia artificial larpcal Automatic theorem proving Induction (Mathematics) Zhang, Hantao Sonstige oth |
| spellingShingle | Automated mathematical induction Induction Inteligencia artificial larpcal Automatic theorem proving Induction (Mathematics) |
| title | Automated mathematical induction |
| title_auth | Automated mathematical induction |
| title_exact_search | Automated mathematical induction |
| title_full | Automated mathematical induction ed. by H. Zhang |
| title_fullStr | Automated mathematical induction ed. by H. Zhang |
| title_full_unstemmed | Automated mathematical induction ed. by H. Zhang |
| title_short | Automated mathematical induction |
| title_sort | automated mathematical induction |
| topic | Induction Inteligencia artificial larpcal Automatic theorem proving Induction (Mathematics) |
| topic_facet | Induction Inteligencia artificial Automatic theorem proving Induction (Mathematics) |
| work_keys_str_mv | AT zhanghantao automatedmathematicalinduction |