Eintrag weiter verarbeiten
Review of introduction to mathematics of satisfiability, by Victor W. Marek
Gespeichert in:
| Zeitschriftentitel: | ACM SIGACT News |
|---|---|
| Personen und Körperschaften: | |
| In: | ACM SIGACT News, 43, 2012, 3, S. 41-44 |
| Format: | E-Article |
| Sprache: | Englisch |
| veröffentlicht: |
Association for Computing Machinery (ACM)
|
| Schlagwörter: |
| author_facet |
Falke, Stephan Falke, Stephan |
|---|---|
| author |
Falke, Stephan |
| spellingShingle |
Falke, Stephan ACM SIGACT News Review of introduction to mathematics of satisfiability, by Victor W. Marek General Medicine |
| author_sort |
falke, stephan |
| spelling |
Falke, Stephan 0163-5700 Association for Computing Machinery (ACM) General Medicine http://dx.doi.org/10.1145/2421096.2421105 Review of introduction to mathematics of satisfiability, by Victor W. Marek ACM SIGACT News |
| doi_str_mv |
10.1145/2421096.2421105 |
| facet_avail |
Online |
| format |
ElectronicArticle |
| fullrecord |
blob:ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTE0NS8yNDIxMDk2LjI0MjExMDU |
| id |
ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTE0NS8yNDIxMDk2LjI0MjExMDU |
| institution |
DE-Zi4 DE-15 DE-105 DE-14 DE-Ch1 |
| imprint |
Association for Computing Machinery (ACM), 2012 |
| imprint_str_mv |
Association for Computing Machinery (ACM), 2012 |
| issn |
0163-5700 |
| issn_str_mv |
0163-5700 |
| language |
English |
| mega_collection |
Association for Computing Machinery (ACM) (CrossRef) |
| match_str |
falke2012reviewofintroductiontomathematicsofsatisfiabilitybyvictorwmarek |
| publishDateSort |
2012 |
| publisher |
Association for Computing Machinery (ACM) |
| recordtype |
ai |
| record_format |
ai |
| series |
ACM SIGACT News |
| source_id |
49 |
| title |
Review of introduction to mathematics of satisfiability, by Victor W. Marek |
| title_unstemmed |
Review of introduction to mathematics of satisfiability, by Victor W. Marek |
| title_full |
Review of introduction to mathematics of satisfiability, by Victor W. Marek |
| title_fullStr |
Review of introduction to mathematics of satisfiability, by Victor W. Marek |
| title_full_unstemmed |
Review of introduction to mathematics of satisfiability, by Victor W. Marek |
| title_short |
Review of introduction to mathematics of satisfiability, by Victor W. Marek |
| title_sort |
review of introduction to mathematics of satisfiability, by victor w. marek |
| topic |
General Medicine |
| url |
http://dx.doi.org/10.1145/2421096.2421105 |
| publishDate |
2012 |
| physical |
41-44 |
| description |
|
| container_issue |
3 |
| container_start_page |
41 |
| container_title |
ACM SIGACT News |
| container_volume |
43 |
| format_de105 |
Article, E-Article |
| format_de14 |
Article, E-Article |
| format_de15 |
Article, E-Article |
| format_de520 |
Article, E-Article |
| format_de540 |
Article, E-Article |
| format_dech1 |
Article, E-Article |
| format_ded117 |
Article, E-Article |
| format_degla1 |
E-Article |
| format_del152 |
Buch |
| format_del189 |
Article, E-Article |
| format_dezi4 |
Article |
| format_dezwi2 |
Article, E-Article |
| format_finc |
Article, E-Article |
| format_nrw |
Article, E-Article |
| _version_ |
1792329149973528584 |
| geogr_code |
not assigned |
| last_indexed |
2024-03-01T13:04:09.714Z |
| geogr_code_person |
not assigned |
| openURL |
url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Review+of+introduction+to+mathematics+of+satisfiability%2C+by+Victor+W.+Marek&rft.date=2012-08-27&genre=article&issn=0163-5700&volume=43&issue=3&spage=41&epage=44&pages=41-44&jtitle=ACM+SIGACT+News&atitle=Review+of+introduction+to+mathematics+of+satisfiability%2C+by+Victor+W.+Marek&aulast=Falke&aufirst=Stephan&rft_id=info%3Adoi%2F10.1145%2F2421096.2421105&rft.language%5B0%5D=eng |
| SOLR | |
| _version_ | 1792329149973528584 |
| author | Falke, Stephan |
| author_facet | Falke, Stephan, Falke, Stephan |
| author_sort | falke, stephan |
| container_issue | 3 |
| container_start_page | 41 |
| container_title | ACM SIGACT News |
| container_volume | 43 |
| description | |
| doi_str_mv | 10.1145/2421096.2421105 |
| facet_avail | Online |
| format | ElectronicArticle |
| format_de105 | Article, E-Article |
| format_de14 | Article, E-Article |
| format_de15 | Article, E-Article |
| format_de520 | Article, E-Article |
| format_de540 | Article, E-Article |
| format_dech1 | Article, E-Article |
| format_ded117 | Article, E-Article |
| format_degla1 | E-Article |
| format_del152 | Buch |
| format_del189 | Article, E-Article |
| format_dezi4 | Article |
| format_dezwi2 | Article, E-Article |
| format_finc | Article, E-Article |
| format_nrw | Article, E-Article |
| geogr_code | not assigned |
| geogr_code_person | not assigned |
| id | ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTE0NS8yNDIxMDk2LjI0MjExMDU |
| imprint | Association for Computing Machinery (ACM), 2012 |
| imprint_str_mv | Association for Computing Machinery (ACM), 2012 |
| institution | DE-Zi4, DE-15, DE-105, DE-14, DE-Ch1 |
| issn | 0163-5700 |
| issn_str_mv | 0163-5700 |
| language | English |
| last_indexed | 2024-03-01T13:04:09.714Z |
| match_str | falke2012reviewofintroductiontomathematicsofsatisfiabilitybyvictorwmarek |
| mega_collection | Association for Computing Machinery (ACM) (CrossRef) |
| physical | 41-44 |
| publishDate | 2012 |
| publishDateSort | 2012 |
| publisher | Association for Computing Machinery (ACM) |
| record_format | ai |
| recordtype | ai |
| series | ACM SIGACT News |
| source_id | 49 |
| spelling | Falke, Stephan 0163-5700 Association for Computing Machinery (ACM) General Medicine http://dx.doi.org/10.1145/2421096.2421105 Review of introduction to mathematics of satisfiability, by Victor W. Marek ACM SIGACT News |
| spellingShingle | Falke, Stephan, ACM SIGACT News, Review of introduction to mathematics of satisfiability, by Victor W. Marek, General Medicine |
| title | Review of introduction to mathematics of satisfiability, by Victor W. Marek |
| title_full | Review of introduction to mathematics of satisfiability, by Victor W. Marek |
| title_fullStr | Review of introduction to mathematics of satisfiability, by Victor W. Marek |
| title_full_unstemmed | Review of introduction to mathematics of satisfiability, by Victor W. Marek |
| title_short | Review of introduction to mathematics of satisfiability, by Victor W. Marek |
| title_sort | review of introduction to mathematics of satisfiability, by victor w. marek |
| title_unstemmed | Review of introduction to mathematics of satisfiability, by Victor W. Marek |
| topic | General Medicine |
| url | http://dx.doi.org/10.1145/2421096.2421105 |