Menu
×
West Ashley Library
9 a.m. - 6 p.m.
Phone: (843) 766-6635
Wando Mount Pleasant Library
9 a.m. - 6 p.m.
Phone: (843) 805-6888
Village Library
9 a.m. - 6 p.m.
Phone: (843) 884-9741
St. Paul's/Hollywood Library
9 a.m. - 6 p.m.
Phone: (843) 889-3300
Otranto Road Library
9 a.m. - 6 p.m.
Phone: (843) 572-4094
Mt. Pleasant Library
9 a.m. - 6 p.m.
Phone: (843) 849-6161
McClellanville Library
9 a.m. - 1 p.m.
Phone: (843) 887-3699
Keith Summey North Charleston Library
9 a.m. - 6 p.m.
Phone: (843) 744-2489
John's Island Library
9 a.m. - 6 p.m.
Phone: (843) 559-1945
Hurd/St. Andrews Library
9 a.m. - 6 p.m.
Phone: (843) 766-2546
Folly Beach Library
9 a.m. - 1 p.m.
Phone: (843) 588-2001
Edisto Island Library
9 a.m. - 3 p.m.
Phone: (843) 869-2355
Dorchester Road Library
9 a.m. - 6 p.m.
Phone: (843) 552-6466
John L. Dart Library
9 a.m. - 6 p.m.
Phone: (843) 722-7550
Baxter-Patrick James Island
9 a.m. - 6 p.m.
Phone: (843) 795-6679
Main Library
12 p.m. - 6 p.m.
Phone: (843) 805-6930
Bees Ferry West Ashley Library
9 a.m. - 6 p.m.
Phone: (843) 805-6892
Edgar Allan Poe/Sullivan's Island Library
Closed for renovations
Phone: (843) 883-3914
Mobile Library
9 a.m. - 5 p.m.
Phone: (843) 805-6909
Today's Hours
West Ashley Library
9 a.m. - 6 p.m.
Phone: (843) 766-6635
Wando Mount Pleasant Library
9 a.m. - 6 p.m.
Phone: (843) 805-6888
Village Library
9 a.m. - 6 p.m.
Phone: (843) 884-9741
St. Paul's/Hollywood Library
9 a.m. - 6 p.m.
Phone: (843) 889-3300
Otranto Road Library
9 a.m. - 6 p.m.
Phone: (843) 572-4094
Mt. Pleasant Library
9 a.m. - 6 p.m.
Phone: (843) 849-6161
McClellanville Library
9 a.m. - 1 p.m.
Phone: (843) 887-3699
Keith Summey North Charleston Library
9 a.m. - 6 p.m.
Phone: (843) 744-2489
John's Island Library
9 a.m. - 6 p.m.
Phone: (843) 559-1945
Hurd/St. Andrews Library
9 a.m. - 6 p.m.
Phone: (843) 766-2546
Folly Beach Library
9 a.m. - 1 p.m.
Phone: (843) 588-2001
Edisto Island Library
9 a.m. - 3 p.m.
Phone: (843) 869-2355
Dorchester Road Library
9 a.m. - 6 p.m.
Phone: (843) 552-6466
John L. Dart Library
9 a.m. - 6 p.m.
Phone: (843) 722-7550
Baxter-Patrick James Island
9 a.m. - 6 p.m.
Phone: (843) 795-6679
Main Library
12 p.m. - 6 p.m.
Phone: (843) 805-6930
Bees Ferry West Ashley Library
9 a.m. - 6 p.m.
Phone: (843) 805-6892
Edgar Allan Poe/Sullivan's Island Library
Closed for renovations
Phone: (843) 883-3914
Mobile Library
9 a.m. - 5 p.m.
Phone: (843) 805-6909
Patron Login
menu
Item request has been placed!
×
Item request cannot be made.
×
Processing Request
Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I
Item request has been placed!
×
Item request cannot be made.
×
Processing Request
- Author(s): Christoph Benzmüller; Marijn J.H. Heule; Renate A. Schmidt
- Additional Information
- Abstract: This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions. The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models. This book is open access.
- Publication Type: eBook.
- Subject Terms:
- Subject Terms:
- Abstract:
Contact CCPL
Copyright 2022 Charleston County Public Library Powered By EBSCO Stacks 3.3.0 [350.3] | Staff Login
No Comments.