Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 DetailsÜbersicht
  SPASS Version 2.0

Weidenbach, C., Brahm, U., Hillenbrand, T., Keen, E., Theobalt, C., & Topić, D. (2002). SPASS Version 2.0. In Automated deduction, CADE-18: 18th International Conference on Automated Deduction (pp. 275-279). Heidelberg, Germany: Springer.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3084-C Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3087-6
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Weidenbach, Christoph1, 2, Autor           
Brahm, Uwe3, Autor           
Hillenbrand, Thomas1, 2, 4, Autor           
Keen, Enno2, Autor           
Theobalt, Christian2, 5, Autor           
Topić, Dalibor6, Autor
Voronkov, Andrei2, Herausgeber           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              
3Information Services and Technology, MPI for Informatics, Max Planck Society, ou_1116550              
4International Max Planck Research School, MPI for Informatics, Max Planck Society, ou_1116551              
5Computer Graphics, MPI for Informatics, Max Planck Society, ou_40047              
6Max Planck Society, ou_persistent13              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: SPASS is an automated theorem prover for full first-order logic with equality. This system description provides an overview of recent developments in SPASS 2.0, including among others an implementation of contextual rewriting, refinements of the clause normal form transformation, and enhancements of the inference engine.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2003-09-012002
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 202170
Anderer: Local-ID: C1256104005ECAFC-CF921E461CE82D57C1256BBB004574BF-WBH+02-CADE18
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: CADE 2002
Veranstaltungsort: Kopenhagen, Denmark
Start-/Enddatum: 2002-07-27 - 2002-07-30

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Heidelberg, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 275 - 279 Identifikator: ISBN: 3-540-43931-5

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Artificial Intelligence
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 2392 Artikelnummer: - Start- / Endseite: - Identifikator: -