UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

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

1, 2020

Volltextzugriff (PDF)

Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

1, 2017

Volltextzugriff (PDF)

Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

1, 2016

Volltextzugriff (PDF)

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

1st ed. 2016, 2016

Volltextzugriff (PDF)

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings

2002, 2002

Volltextzugriff (PDF)

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

2003

Volltextzugriff (PDF)

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

1st Edition 2022, 2021

Volltextzugriff (PDF)

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

1, 2001

Volltextzugriff (PDF)

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

1999

Volltextzugriff (PDF)

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

1st ed. 2023., 2023

Volltextzugriff (PDF)

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II

2024

Volltextzugriff (PDF)

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

2024

Volltextzugriff (PDF)

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

1, 2001

Volltextzugriff (PDF)

Automated Deduction in Classical and Non-Classical Logics: Selected Papers

1, 2000

Volltextzugriff (PDF)

Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers

Winkler, Franz

1, 2004

Volltextzugriff (PDF)

Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

1, 2000

Volltextzugriff (PDF)

Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

1, 2023

Volltextzugriff (PDF)

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

1, 2023

Volltextzugriff (PDF)

Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings

Wang, Farn

1, 2004

Volltextzugriff (PDF)

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings

1, 2023

Volltextzugriff (PDF)

Shortening of Proof Length is Elusive for Theorem Provers

Parallel processing letters, 2020-12, Vol.30 (4), p.2050013

2020

Volltextzugriff (PDF)

A Symbolic Dynamic Geometry System Using the Analytical Geometry Method

Mathematics in computer science, 2020-12, Vol.14 (4), p.693-726

Todd, Philip

2020

Volltextzugriff (PDF)

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings

1, 2004

Volltextzugriff (PDF)

6th Conference on Automated Deduction: New York, USA, June 7–9, 1982

1982

Volltextzugriff (PDF)

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980

1980

Volltextzugriff (PDF)

1 – 25 von 466

Suche als RSS-Feed

Aktive Filter

ThemaAutomatic Theorem Proving

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(253)
Mit Volltextzugriff
(438)

Publikationsform

2 weitere anzeigen...

Weniger anzeigen...

Sprache

Englisch
(462)
Deutsch
(4)

Erscheinungsjahr

n.n

Thema

Computer Science
(356)
Artificial Intelligence
(296)
Mathematical Logic And Formal Languages
(222)
Congresses
(201)
Software Engineering
(179)
Logics And Meanings Of Programs
(169)
Mathematical Logic
(160)
Logic, Symbolic And Mathematical
(157)
Démonstration Automatique
(154)
Machine Theory
(153)
Théorèmes
(151)
Automatisches Beweisverfahren
(134)
Computer Logic
(129)
Mathematics
(126)
Logic Design
(113)
Kongress
(92)
Programming Languages, Compilers, Interpreters
(92)
Informatique
(88)
Science & Technology
(86)

14 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

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

Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

Automated Deduction in Classical and Non-Classical Logics: Selected Papers

Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers

Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings

Shortening of Proof Length is Elusive for Theorem Provers

A Symbolic Dynamic Geometry System Using the Analytical Geometry Method

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings

6th Conference on Automated Deduction: New York, USA, June 7–9, 1982

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980

Aktive Filter

Suchergebnisse filtern