Applications of quantifier elimination to mechanical theorem proving:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Rio de Janeiro, Brasil
Pontif. Univ. Católica do Rio de Janeiro
1972
|
| Series: | Monographs in computer science and computer applications
1972,6 |
| Subjects: | |
| Physical Description: | 17 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009921245 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 941128s1972 |||| 00||| engod | ||
| 035 | |a (OCoLC)6918984 | ||
| 035 | |a (DE-599)BVBBV009921245 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 050 | 0 | |a QA76.9.A96G34 | |
| 082 | 0 | |a 511.3 |2 19 | |
| 100 | 1 | |a Galda, Klaus |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Applications of quantifier elimination to mechanical theorem proving |c by Klaus Galda and Emmanuel P. L. Passos |
| 264 | 1 | |a Rio de Janeiro, Brasil |b Pontif. Univ. Católica do Rio de Janeiro |c 1972 | |
| 300 | |a 17 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Monographs in computer science and computer applications |v 1972,6 | |
| 650 | 4 | |a Automatic theorem proving | |
| 700 | 1 | |a Passos, Emmanuel P. |e Verfasser |4 aut | |
| 830 | 0 | |a Monographs in computer science and computer applications |v 1972,6 |w (DE-604)BV009921147 |9 1972,6 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006571896 | ||
Record in the Search Index
| _version_ | 1804124285762011136 |
|---|---|
| any_adam_object | |
| author | Galda, Klaus Passos, Emmanuel P. |
| author_facet | Galda, Klaus Passos, Emmanuel P. |
| author_role | aut aut |
| author_sort | Galda, Klaus |
| author_variant | k g kg e p p ep epp |
| building | Verbundindex |
| bvnumber | BV009921245 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.A96G34 |
| callnumber-search | QA76.9.A96G34 |
| callnumber-sort | QA 276.9 A96 G34 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)6918984 (DE-599)BVBBV009921245 |
| 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 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01081nam a2200313 cb4500</leader><controlfield tag="001">BV009921245</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">941128s1972 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)6918984</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009921245</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="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.A96G34</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">19</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Galda, Klaus</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Applications of quantifier elimination to mechanical theorem proving</subfield><subfield code="c">by Klaus Galda and Emmanuel P. L. Passos</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Rio de Janeiro, Brasil</subfield><subfield code="b">Pontif. Univ. Católica do Rio de Janeiro</subfield><subfield code="c">1972</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">17 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="490" ind1="1" ind2=" "><subfield code="a">Monographs in computer science and computer applications</subfield><subfield code="v">1972,6</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic theorem proving</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Passos, Emmanuel P.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Monographs in computer science and computer applications</subfield><subfield code="v">1972,6</subfield><subfield code="w">(DE-604)BV009921147</subfield><subfield code="9">1972,6</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006571896</subfield></datafield></record></collection> |
| id | DE-604.BV009921245 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:43:14Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006571896 |
| oclc_num | 6918984 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 17 S. |
| publishDate | 1972 |
| publishDateSearch | 1972 |
| publishDateSort | 1972 |
| publisher | Pontif. Univ. Católica do Rio de Janeiro |
| record_format | marc |
| series | Monographs in computer science and computer applications |
| series2 | Monographs in computer science and computer applications |
| spelling | Galda, Klaus Verfasser aut Applications of quantifier elimination to mechanical theorem proving by Klaus Galda and Emmanuel P. L. Passos Rio de Janeiro, Brasil Pontif. Univ. Católica do Rio de Janeiro 1972 17 S. txt rdacontent n rdamedia nc rdacarrier Monographs in computer science and computer applications 1972,6 Automatic theorem proving Passos, Emmanuel P. Verfasser aut Monographs in computer science and computer applications 1972,6 (DE-604)BV009921147 1972,6 |
| spellingShingle | Galda, Klaus Passos, Emmanuel P. Applications of quantifier elimination to mechanical theorem proving Monographs in computer science and computer applications Automatic theorem proving |
| title | Applications of quantifier elimination to mechanical theorem proving |
| title_auth | Applications of quantifier elimination to mechanical theorem proving |
| title_exact_search | Applications of quantifier elimination to mechanical theorem proving |
| title_full | Applications of quantifier elimination to mechanical theorem proving by Klaus Galda and Emmanuel P. L. Passos |
| title_fullStr | Applications of quantifier elimination to mechanical theorem proving by Klaus Galda and Emmanuel P. L. Passos |
| title_full_unstemmed | Applications of quantifier elimination to mechanical theorem proving by Klaus Galda and Emmanuel P. L. Passos |
| title_short | Applications of quantifier elimination to mechanical theorem proving |
| title_sort | applications of quantifier elimination to mechanical theorem proving |
| topic | Automatic theorem proving |
| topic_facet | Automatic theorem proving |
| volume_link | (DE-604)BV009921147 |
| work_keys_str_mv | AT galdaklaus applicationsofquantifiereliminationtomechanicaltheoremproving AT passosemmanuelp applicationsofquantifiereliminationtomechanicaltheoremproving |