Automated Reasoning with Analytic Tableaux and Related Methods
This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during September 27–29, 2025. The 25 full papers included in this book were carefully reviewed and selec...
| Autores principales: | , |
|---|---|
| Formato: | Libro |
| Publicado: |
Springer Nature Switzerland
2025
|
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=nlebk&AN=4320606&site=ehost-live header: @attributes: shortDbName: nlebk uiTerm: 4320606 longDbName: eBook Collection (EBSCOhost) uiTag: AN controlInfo: bkinfo: btl: Automated Reasoning with Analytic Tableaux and Related Methods aug: au: Gian Luca Pozzato Tarmo Uustalu isbn: 9783032060846 9783032060853 imageinfo: pubinfo: dt: @attributes: year: 2025 month: 01 day: 01 dtAvail: @attributes: year: 2025 month: 12 day: 09 pub: Springer Nature Switzerland pubContract: Springer Nature place: [S.l.] price: 0.01 limitsGroup: maxCheckoutDays: 1500 copyPages: 10 pda: N printPagesOffline: 10 printPagesOnline: 10 previewPages: 0 prePubGroup: dewey: @attributes: class: 511.36028563 item: 511 .36028563 lc: @attributes: class: QA76.9.A96 item: QA 76 .9 .A96 artinfo: ui: 4320606 1541859784 formats: fmt: – @attributes: type: EB doid: NL$4320606$PDF caption: PDF download: Y – @attributes: type: EK doid: NL$4320606$EPUB caption: EPUB download: Y tig: atl: Automated Reasoning with Analytic Tableaux and Related Methods ptl: Automated Reasoning with Analytic Tableaux and Related Methods aug: au: Gian Luca Pozzato Tarmo Uustalu su: Automatic theorem proving--Congresses sug: subj: COMPUTERS / Artificial Intelligence / General Automatic theorem proving--Congresses ab: This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during September 27–29, 2025. The 25 full papers included in this book were carefully reviewed and selected from 47 sbumissions. They were organized in topical sections as follows: Classical and multi-valued logic, theorem proving; modal and tense logic; and intuitionistic and substructural logic. pubtype: eBook doctype: Book ougenre: Book language: English copyright: @attributes: flag: N copyrightText: holdings: @attributes: islocal: N |
|---|