Proof Development with Ωmega
The Ωmega proof development system [2] is the core of several related and well integrated research projects of the Ωmega research group.
Gespeichert in:
| Hauptverfasser: | , , , , , , , , , , , , , , , , |
|---|---|
| Format: | Buchkapitel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 149 |
|---|---|
| container_issue | |
| container_start_page | 144 |
| container_title | |
| container_volume | 2392 |
| creator | Siekmann, Jörg Benzmüller, Christoph Brezhnev, Vladimir Cheikhrouhou, Lassaad Fiedler, Armin Franke, Andreas Horacek, Helmut Kohlhase, Michael Meier, Andreas Melis, Erica Moschner, Markus Normann, Immanuel Pollet, Martin Sorge, Volker Ullrich, Carsten Wirth, Claus-Peter Zimmer, Jürgen |
| description | The Ωmega proof development system [2] is the core of several related and well integrated research projects of the Ωmega research group. |
| doi_str_mv | 10.1007/3-540-45620-1_12 |
| format | Book Chapter |
| fullrecord | <record><control><sourceid>proquest_pasca</sourceid><recordid>TN_cdi_pascalfrancis_primary_14780496</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC3072742_18_155</sourcerecordid><originalsourceid>FETCH-LOGICAL-p1832-18b4146063f555218254ac1bb2fae5bfed684d96805a2d1a446687a53164902b3</originalsourceid><addsrcrecordid>eNotUMlOwzAQNasIpXcuSLlwdPF4vOWIyipVggOcLSd12kLaBDuA-CR-hm_CXeYy0ttG8wg5BzYCxvQVUikYFVJxRsEC3yOnmJANAPskAwVAEUVxQIaFNhsOCwRzSDKGjNNCCzwmGXIpFActT8gwxjeWBjlIlBm5eA5tW-c3_ss3bbf0qz7_XvTz_O936WfujBzVrol-uNsD8np3-zJ-oJOn-8fx9YR2YJBTMKUAoZjCWkrJwaR7roKy5LXzsqz9VBkxLZRh0vEpOCGUMtpJBCUKxksckMttbudi5Zo6uFW1iLYLi6ULPxaENkwUKulGW11M1Grmgy3b9j1aYHZdmEWbKrCbfuy6sGTAXXBoPz597K1fO6r0Z3BNNXdd70O0yDTXglswFqTEf98HZYA</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype><pqid>EBC3072742_18_155</pqid></control><display><type>book_chapter</type><title>Proof Development with Ωmega</title><source>Springer Books</source><creator>Siekmann, Jörg ; Benzmüller, Christoph ; Brezhnev, Vladimir ; Cheikhrouhou, Lassaad ; Fiedler, Armin ; Franke, Andreas ; Horacek, Helmut ; Kohlhase, Michael ; Meier, Andreas ; Melis, Erica ; Moschner, Markus ; Normann, Immanuel ; Pollet, Martin ; Sorge, Volker ; Ullrich, Carsten ; Wirth, Claus-Peter ; Zimmer, Jürgen</creator><contributor>Voronkov, Andrei ; Voronkov, Andrei</contributor><creatorcontrib>Siekmann, Jörg ; Benzmüller, Christoph ; Brezhnev, Vladimir ; Cheikhrouhou, Lassaad ; Fiedler, Armin ; Franke, Andreas ; Horacek, Helmut ; Kohlhase, Michael ; Meier, Andreas ; Melis, Erica ; Moschner, Markus ; Normann, Immanuel ; Pollet, Martin ; Sorge, Volker ; Ullrich, Carsten ; Wirth, Claus-Peter ; Zimmer, Jürgen ; Voronkov, Andrei ; Voronkov, Andrei</creatorcontrib><description>The Ωmega proof development system [2] is the core of several related and well integrated research projects of the Ωmega research group.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 9783540439318</identifier><identifier>ISBN: 3540439315</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 3540456201</identifier><identifier>EISBN: 9783540456209</identifier><identifier>DOI: 10.1007/3-540-45620-1_12</identifier><identifier>OCLC: 325462175</identifier><identifier>LCCallNum: Q334-342</identifier><language>eng</language><publisher>Germany: Springer Berlin / Heidelberg</publisher><subject>Applied sciences ; Artificial intelligence ; Computer science; control theory; systems ; Constraint Solver ; Exact sciences and technology ; Information systems. Data bases ; Memory organisation. Data processing ; Natural Deduction ; Problem solving, game playing ; Proof Assistant ; Proof Tree ; Residue Class ; Software</subject><ispartof>Automated Deduction - CADE-18, 2002, Vol.2392, p.144-149</ispartof><rights>Springer-Verlag Berlin Heidelberg 2002</rights><rights>2003 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttps://ebookcentral.proquest.com/covers/3072742-l.jpg</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/3-540-45620-1_12$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/3-540-45620-1_12$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,775,776,780,785,786,789,4035,4036,27904,38234,41421,42490</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=14780496$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Voronkov, Andrei</contributor><contributor>Voronkov, Andrei</contributor><creatorcontrib>Siekmann, Jörg</creatorcontrib><creatorcontrib>Benzmüller, Christoph</creatorcontrib><creatorcontrib>Brezhnev, Vladimir</creatorcontrib><creatorcontrib>Cheikhrouhou, Lassaad</creatorcontrib><creatorcontrib>Fiedler, Armin</creatorcontrib><creatorcontrib>Franke, Andreas</creatorcontrib><creatorcontrib>Horacek, Helmut</creatorcontrib><creatorcontrib>Kohlhase, Michael</creatorcontrib><creatorcontrib>Meier, Andreas</creatorcontrib><creatorcontrib>Melis, Erica</creatorcontrib><creatorcontrib>Moschner, Markus</creatorcontrib><creatorcontrib>Normann, Immanuel</creatorcontrib><creatorcontrib>Pollet, Martin</creatorcontrib><creatorcontrib>Sorge, Volker</creatorcontrib><creatorcontrib>Ullrich, Carsten</creatorcontrib><creatorcontrib>Wirth, Claus-Peter</creatorcontrib><creatorcontrib>Zimmer, Jürgen</creatorcontrib><title>Proof Development with Ωmega</title><title>Automated Deduction - CADE-18</title><description>The Ωmega proof development system [2] is the core of several related and well integrated research projects of the Ωmega research group.</description><subject>Applied sciences</subject><subject>Artificial intelligence</subject><subject>Computer science; control theory; systems</subject><subject>Constraint Solver</subject><subject>Exact sciences and technology</subject><subject>Information systems. Data bases</subject><subject>Memory organisation. Data processing</subject><subject>Natural Deduction</subject><subject>Problem solving, game playing</subject><subject>Proof Assistant</subject><subject>Proof Tree</subject><subject>Residue Class</subject><subject>Software</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>9783540439318</isbn><isbn>3540439315</isbn><isbn>3540456201</isbn><isbn>9783540456209</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>2002</creationdate><recordtype>book_chapter</recordtype><recordid>eNotUMlOwzAQNasIpXcuSLlwdPF4vOWIyipVggOcLSd12kLaBDuA-CR-hm_CXeYy0ttG8wg5BzYCxvQVUikYFVJxRsEC3yOnmJANAPskAwVAEUVxQIaFNhsOCwRzSDKGjNNCCzwmGXIpFActT8gwxjeWBjlIlBm5eA5tW-c3_ss3bbf0qz7_XvTz_O936WfujBzVrol-uNsD8np3-zJ-oJOn-8fx9YR2YJBTMKUAoZjCWkrJwaR7roKy5LXzsqz9VBkxLZRh0vEpOCGUMtpJBCUKxksckMttbudi5Zo6uFW1iLYLi6ULPxaENkwUKulGW11M1Grmgy3b9j1aYHZdmEWbKrCbfuy6sGTAXXBoPz597K1fO6r0Z3BNNXdd70O0yDTXglswFqTEf98HZYA</recordid><startdate>2002</startdate><enddate>2002</enddate><creator>Siekmann, Jörg</creator><creator>Benzmüller, Christoph</creator><creator>Brezhnev, Vladimir</creator><creator>Cheikhrouhou, Lassaad</creator><creator>Fiedler, Armin</creator><creator>Franke, Andreas</creator><creator>Horacek, Helmut</creator><creator>Kohlhase, Michael</creator><creator>Meier, Andreas</creator><creator>Melis, Erica</creator><creator>Moschner, Markus</creator><creator>Normann, Immanuel</creator><creator>Pollet, Martin</creator><creator>Sorge, Volker</creator><creator>Ullrich, Carsten</creator><creator>Wirth, Claus-Peter</creator><creator>Zimmer, Jürgen</creator><general>Springer Berlin / Heidelberg</general><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>FFUUA</scope><scope>IQODW</scope></search><sort><creationdate>2002</creationdate><title>Proof Development with Ωmega</title><author>Siekmann, Jörg ; Benzmüller, Christoph ; Brezhnev, Vladimir ; Cheikhrouhou, Lassaad ; Fiedler, Armin ; Franke, Andreas ; Horacek, Helmut ; Kohlhase, Michael ; Meier, Andreas ; Melis, Erica ; Moschner, Markus ; Normann, Immanuel ; Pollet, Martin ; Sorge, Volker ; Ullrich, Carsten ; Wirth, Claus-Peter ; Zimmer, Jürgen</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p1832-18b4146063f555218254ac1bb2fae5bfed684d96805a2d1a446687a53164902b3</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>2002</creationdate><topic>Applied sciences</topic><topic>Artificial intelligence</topic><topic>Computer science; control theory; systems</topic><topic>Constraint Solver</topic><topic>Exact sciences and technology</topic><topic>Information systems. Data bases</topic><topic>Memory organisation. Data processing</topic><topic>Natural Deduction</topic><topic>Problem solving, game playing</topic><topic>Proof Assistant</topic><topic>Proof Tree</topic><topic>Residue Class</topic><topic>Software</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Siekmann, Jörg</creatorcontrib><creatorcontrib>Benzmüller, Christoph</creatorcontrib><creatorcontrib>Brezhnev, Vladimir</creatorcontrib><creatorcontrib>Cheikhrouhou, Lassaad</creatorcontrib><creatorcontrib>Fiedler, Armin</creatorcontrib><creatorcontrib>Franke, Andreas</creatorcontrib><creatorcontrib>Horacek, Helmut</creatorcontrib><creatorcontrib>Kohlhase, Michael</creatorcontrib><creatorcontrib>Meier, Andreas</creatorcontrib><creatorcontrib>Melis, Erica</creatorcontrib><creatorcontrib>Moschner, Markus</creatorcontrib><creatorcontrib>Normann, Immanuel</creatorcontrib><creatorcontrib>Pollet, Martin</creatorcontrib><creatorcontrib>Sorge, Volker</creatorcontrib><creatorcontrib>Ullrich, Carsten</creatorcontrib><creatorcontrib>Wirth, Claus-Peter</creatorcontrib><creatorcontrib>Zimmer, Jürgen</creatorcontrib><collection>ProQuest Ebook Central - Book Chapters - Demo use only</collection><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Siekmann, Jörg</au><au>Benzmüller, Christoph</au><au>Brezhnev, Vladimir</au><au>Cheikhrouhou, Lassaad</au><au>Fiedler, Armin</au><au>Franke, Andreas</au><au>Horacek, Helmut</au><au>Kohlhase, Michael</au><au>Meier, Andreas</au><au>Melis, Erica</au><au>Moschner, Markus</au><au>Normann, Immanuel</au><au>Pollet, Martin</au><au>Sorge, Volker</au><au>Ullrich, Carsten</au><au>Wirth, Claus-Peter</au><au>Zimmer, Jürgen</au><au>Voronkov, Andrei</au><au>Voronkov, Andrei</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>Proof Development with Ωmega</atitle><btitle>Automated Deduction - CADE-18</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>2002</date><risdate>2002</risdate><volume>2392</volume><spage>144</spage><epage>149</epage><pages>144-149</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>9783540439318</isbn><isbn>3540439315</isbn><eisbn>3540456201</eisbn><eisbn>9783540456209</eisbn><abstract>The Ωmega proof development system [2] is the core of several related and well integrated research projects of the Ωmega research group.</abstract><cop>Germany</cop><pub>Springer Berlin / Heidelberg</pub><doi>10.1007/3-540-45620-1_12</doi><oclcid>325462175</oclcid><tpages>6</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | Automated Deduction - CADE-18, 2002, Vol.2392, p.144-149 |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_pascalfrancis_primary_14780496 |
| source | Springer Books |
| subjects | Applied sciences Artificial intelligence Computer science control theory systems Constraint Solver Exact sciences and technology Information systems. Data bases Memory organisation. Data processing Natural Deduction Problem solving, game playing Proof Assistant Proof Tree Residue Class Software |
| title | Proof Development with Ωmega |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-25T13%3A09%3A44IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_pasca&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=bookitem&rft.atitle=Proof%20Development%20with%20%CE%A9mega&rft.btitle=Automated%20Deduction%20-%20CADE-18&rft.au=Siekmann,%20J%C3%B6rg&rft.date=2002&rft.volume=2392&rft.spage=144&rft.epage=149&rft.pages=144-149&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=9783540439318&rft.isbn_list=3540439315&rft_id=info:doi/10.1007/3-540-45620-1_12&rft_dat=%3Cproquest_pasca%3EEBC3072742_18_155%3C/proquest_pasca%3E%3Curl%3E%3C/url%3E&rft.eisbn=3540456201&rft.eisbn_list=9783540456209&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC3072742_18_155&rft_id=info:pmid/&rfr_iscdi=true |