Automatic proofs for theorems on predicate calculus:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Rio de Janeiro, Brasil
Pontif. Univ. Católica do Rio de Janeiro
1972
|
| Schriftenreihe: | Monographs in computer science and computer applications
1972,8 |
| Schlagworte: | |
| Beschreibung: | 22 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009921282 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 941128s1972 |||| 00||| engod | ||
| 035 | |a (OCoLC)7173955 | ||
| 035 | |a (DE-599)BVBBV009921282 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 050 | 0 | |a QA9.35 | |
| 082 | 0 | |a 511.3 |2 19 | |
| 100 | 1 | |a Santos, Sueli M. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Automatic proofs for theorems on predicate calculus |c Sueli M. Santos and Marilia R. Millan |
| 264 | 1 | |a Rio de Janeiro, Brasil |b Pontif. Univ. Católica do Rio de Janeiro |c 1972 | |
| 300 | |a 22 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,8 | |
| 650 | 4 | |a Automatic theorem proving | |
| 650 | 4 | |a Predicate calculus | |
| 650 | 4 | |a SNOBOL (Computer program language) | |
| 700 | 1 | |a Millan, Marilia R. |e Verfasser |4 aut | |
| 830 | 0 | |a Monographs in computer science and computer applications |v 1972,8 |w (DE-604)BV009921147 |9 1972,8 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006571931 | ||
Datensatz im Suchindex
| _version_ | 1804124285809197056 |
|---|---|
| any_adam_object | |
| author | Santos, Sueli M. Millan, Marilia R. |
| author_facet | Santos, Sueli M. Millan, Marilia R. |
| author_role | aut aut |
| author_sort | Santos, Sueli M. |
| author_variant | s m s sm sms m r m mr mrm |
| building | Verbundindex |
| bvnumber | BV009921282 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.35 |
| callnumber-search | QA9.35 |
| callnumber-sort | QA 19.35 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)7173955 (DE-599)BVBBV009921282 |
| 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>01143nam a2200337 cb4500</leader><controlfield tag="001">BV009921282</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)7173955</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009921282</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">QA9.35</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">Santos, Sueli M.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automatic proofs for theorems on predicate calculus</subfield><subfield code="c">Sueli M. Santos and Marilia R. Millan</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">22 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,8</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">Predicate calculus</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">SNOBOL (Computer program language)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Millan, Marilia R.</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,8</subfield><subfield code="w">(DE-604)BV009921147</subfield><subfield code="9">1972,8</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006571931</subfield></datafield></record></collection> |
| id | DE-604.BV009921282 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:43:14Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006571931 |
| oclc_num | 7173955 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 22 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 | Santos, Sueli M. Verfasser aut Automatic proofs for theorems on predicate calculus Sueli M. Santos and Marilia R. Millan Rio de Janeiro, Brasil Pontif. Univ. Católica do Rio de Janeiro 1972 22 S. txt rdacontent n rdamedia nc rdacarrier Monographs in computer science and computer applications 1972,8 Automatic theorem proving Predicate calculus SNOBOL (Computer program language) Millan, Marilia R. Verfasser aut Monographs in computer science and computer applications 1972,8 (DE-604)BV009921147 1972,8 |
| spellingShingle | Santos, Sueli M. Millan, Marilia R. Automatic proofs for theorems on predicate calculus Monographs in computer science and computer applications Automatic theorem proving Predicate calculus SNOBOL (Computer program language) |
| title | Automatic proofs for theorems on predicate calculus |
| title_auth | Automatic proofs for theorems on predicate calculus |
| title_exact_search | Automatic proofs for theorems on predicate calculus |
| title_full | Automatic proofs for theorems on predicate calculus Sueli M. Santos and Marilia R. Millan |
| title_fullStr | Automatic proofs for theorems on predicate calculus Sueli M. Santos and Marilia R. Millan |
| title_full_unstemmed | Automatic proofs for theorems on predicate calculus Sueli M. Santos and Marilia R. Millan |
| title_short | Automatic proofs for theorems on predicate calculus |
| title_sort | automatic proofs for theorems on predicate calculus |
| topic | Automatic theorem proving Predicate calculus SNOBOL (Computer program language) |
| topic_facet | Automatic theorem proving Predicate calculus SNOBOL (Computer program language) |
| volume_link | (DE-604)BV009921147 |
| work_keys_str_mv | AT santossuelim automaticproofsfortheoremsonpredicatecalculus AT millanmariliar automaticproofsfortheoremsonpredicatecalculus |