Informatik (15.757 Artikel)

This book constitutes the refereed proceedings of the 7th International Joint Conference on Automated Reasoning, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria...

This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated L...

This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4-8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition establ...

Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Invited Talks.- Program Termination Analysis by Size-Change Graphs (Abstract).- SET Cardholder Registration: The Secrecy Proofs.- SET Cardholder Registration: The Secrecy Proofs.- Algorithms, Datas...

This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research ...

This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading ...

10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II

The 26 revised full research papers and 9 system descriptions presented together with 4 invited talks were carefully reviewed and selected from 79 submissions. The papers have been organized in top...

11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around but especially a fantastic system bu...

Invited Talks.- Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach.- Description Logics in Ontology Applications.- Automated Reasoning in the Context of the Semantic Web.- Formal...

Invited Papers.- Proof Analysis by Resolution.- Using Linear Logic to Reason about Sequent Systems.- Research Papers.- A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic.- Table...