subjectheading:[Logique symbolique et mathématique] - Search Results - University of Southern Indiana

login

Home > Search Results: subjectheading:[Logique symbolique et mathématique]

Search:

Search Tips :: Advanced Search :: Browse Resources (beta)

Sort by

ascending
descending

Display

Collections

Select collection

Format

Select output format

Fulltext Search

Off Fulltext search toggle

On

Publication Type

Ebook (10)

Location

Online (10)

Date

2023 (2)
2021 (8)

1.	Advances in Mathematical Logic : dedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, revised co[...] Symposium on Advances in Mathematical Logic (2018 : Kobe, Japan); Takeuti, Gaisi, [...] Singapore : Springer, 2021. ©2021 QA9.A1 S96 2018eb \| View e-resource \| Available Online \| Detailed record - Similar records
2.	Logic and argumentation : 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings / Pietro Baroni, Christoph B[...] International Conference on Logic and Argumentation (4th : 2021 : Hangzhou, Chin[...] Cham, Switzerland : Springer, 2021. QA9.A1 \| View e-resource \| Available Online \| Detailed record - Similar records
3.	Logics in artificial intelligence : 17th European Conference, JELIA 2021, Virtual event, May 17-20, 2021, Proceedings / Wolfgang Faber, Gerhard F[...] JELIA (Conference) (17th : 2021 : Online); Faber, Wolfgang, 1974-; Friedrich, Gerhar[...] Cham, Switzerland : Springer, 2021. Q334 \| View e-resource \| Available Online \| Detailed record - Similar records
4.	Automated deduction -- CADE 28 : 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021, Proceedings / André Plat[...] International Conference on Automated Deduction (28th : 2021 : Online); Platzer, A[...] Cham, Switzerland : Springer, [2021] QA76.9.A96 I58 2021eb \| View e-resource \| Available Online \| Detailed record - Similar records
5.	Automated deduction -- CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings / Brigitte Pientk[...] International Conference on Automated Deduction (29th : 2023 : Rome, Italy); Pient[...] Cham, Switzerland : Springer, 2023. QA76.9.A96 I58 2023eb \| View e-resource \| Available Online \| Detailed record - Similar records
6.	Logic, language, information, and computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings / He[...] Workshop on Logic, Language, Information and Computation (29th : 2023 : Halifax,[...] Cham : Springer, 2023. QA9.A1 W67 2023eb \| View e-resource \| Available Online \| Detailed record - Similar records
7.	Logic, language, information, and computation : 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings / Alexan[...] Workshop on Logic, Language, Information and Computation (27th : 2021 : Online); S[...] Cham : Springer, [2021] ©2021 QA9.A1 W67 2021 \| View e-resource \| Available Online \| Detailed record - Similar records
8.	Frontiers of combining systems : 13th international symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021 : proceedings / Boris Konev, Gil[...] FroCoS (Symposium) (13th : 2021 : Birmingham, England); Konev, Boris, editor.; Reger[...] Cham : Springer, [2021] ©2021 QA9.A1 F76 2021 \| View e-resource \| Available Online \| Detailed record - Similar records
9.	Formal concept analysis : 16th international conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021 : proceedings / Agnès Braud, Ale[...] International Conference on Formal Concept Analysis (16th : 2021 : Strasbourg, F[...] Cham : Springer, [2021] ©2021 QA76.9.M35 I48 2021 \| View e-resource \| Available Online \| Detailed record - Similar records
10.	Mathematics, logic, and their philosophies : essays in honour of Mohammad Ardeshir / Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour, e[...] Ardeshir, Mohammad, honouree.; Mojtahedi, Mojtaba, editor.; Rahman, Shahid, editor.; Z[...] Cham : Springer, [2021] QA9.2 \| View e-resource \| Available Online \| Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.