10 public-domain matches

Logic And Verification

Cover of Automated Reasoning

Automated Reasoning

Unknown author

Cover of Essentials Of Formal Logic

Essentials Of Formal Logic

Mahony, Michael Joseph, 1860-

Cover of Ritual of the New Testament

Ritual of the New Testament

Thomas Edward Bridgett

A System of Logic, Ratiocinative and Inductive

A System of Logic, Ratiocinative and Inductive

John Stuart Mill

Logic

Christoph von Sigwart

Cover of Formal Methods

Formal Methods

Unknown author

Cover of Computer Aided Verification

Computer Aided Verification

Unknown author

Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Unknown author

Cover of Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Benjamin Weiß

Cover of Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025

Unknown author